Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/4nhrs505vlgq9mgfxjyk04w9860lnjya-coq-coquelicot-3.1.0	null	null	#f
	out	/gnu/store/9fa08c2fd36g3rlmirzqng4zda364h94-coq-coquelicot-3.1.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/zv8zjx137lji6dysa6q6r54y76b22dmj-coq-mathcomp-1.11.0.drv	out
	/gnu/store/dsn0l3yizasam9jnjd13kjahn6yk0nzj-ocaml-4.11.1.drv	out
	/gnu/store/y07b5frr0x70ndych6fnpjy2vjzhk0jh-coq-8.11.2.drv	out
	/gnu/store/2w04qlqndndlc3f3v7sh8m7l998wr1dg-coq-mathcomp-1.11.0.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/6yp0lrxflaxph7q7sc5k28cfs0q8m8vq-coq-coquelicot-3.1.0-guile-builder
	/gnu/store/cgamwky2qy8cm7ayrdnw31354syg97qq-coq-coquelicot-3.1.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/6yp0lrxflaxph7q7sc5k28cfs0q8m8vq-coq-coquelicot-3.1.0-guile-builder
	/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/cgamwky2qy8cm7ayrdnw31354syg97qq-coq-coquelicot-3.1.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/xqzfmscm0m0f34mj0pdn7aihzsisqgmw-module-import-compiled
out	/gnu/store/4nhrs505vlgq9mgfxjyk04w9860lnjya-coq-coquelicot-3.1.0
	/gnu/store/9fa08c2fd36g3rlmirzqng4zda364h94-coq-coquelicot-3.1.0