Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/58kzl4ygqyvjzpwmysz356zim8kyg7zv-coq-mathcomp-1.11.0	null	null	#f
	out	/gnu/store/h0kvplrc8s3b2nfnf07hm7qhy0scmqnh-coq-mathcomp-1.11.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/9mw7kklqr4i8xmbscv1jpbwc970dra6w-ocaml-4.11.1.drv	out
	/gnu/store/1mxv832w3w2kz1fq5f94ibr5a5ih1v08-coq-8.11.2.drv	out
	/gnu/store/dsn0l3yizasam9jnjd13kjahn6yk0nzj-ocaml-4.11.1.drv	out
	/gnu/store/y07b5frr0x70ndych6fnpjy2vjzhk0jh-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/ynir9bp2m8j7x4fyf2xazjymjl9kkpzq-coq-mathcomp-1.11.0-guile-builder
	/gnu/store/3i1a4y1j7pbypbjyr9f1xj90qjgwwx20-coq-mathcomp-1.11.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

powerpc64le-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/ynir9bp2m8j7x4fyf2xazjymjl9kkpzq-coq-mathcomp-1.11.0-guile-builder
	/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/3i1a4y1j7pbypbjyr9f1xj90qjgwwx20-coq-mathcomp-1.11.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/xqzfmscm0m0f34mj0pdn7aihzsisqgmw-module-import-compiled
out	/gnu/store/58kzl4ygqyvjzpwmysz356zim8kyg7zv-coq-mathcomp-1.11.0
	/gnu/store/h0kvplrc8s3b2nfnf07hm7qhy0scmqnh-coq-mathcomp-1.11.0