Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/z4x3mj3db4z97kncxk8gz6bn6wzzp9k6-coq-flocq-3.3.1	null	null	#f
	out	/gnu/store/5jcjf3id7kzpgckfdvfca47f1v69z32q-coq-flocq-3.3.1	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/d3ilw753z8h7sp73lghlxa3db3122cv3-coq-8.11.2.drv	out
	/gnu/store/zjr22mswi5h1jj9nmzkc21imr3gvczzw-ocaml-4.11.1.drv	out
	/gnu/store/s6n3wi32ymjwc9w8shdlvgvqx2psra58-coq-8.11.2.drv	out
	/gnu/store/chw4i6w5jx8b9095q488wlk1zb2lap1j-ocaml-4.11.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/h4ax3ca4mqnqbm0piwa568hvchsqpcrs-coq-flocq-3.3.1-guile-builder
	/gnu/store/6r4myhc7gnb6ihqfnh11bbg2v1kynxlh-coq-flocq-3.3.1-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

mips64el-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/h4ax3ca4mqnqbm0piwa568hvchsqpcrs-coq-flocq-3.3.1-guile-builder
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/6r4myhc7gnb6ihqfnh11bbg2v1kynxlh-coq-flocq-3.3.1-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/c04vp48kn64n9zvzl15899k3rkn5lwbb-module-import-compiled
out	/gnu/store/z4x3mj3db4z97kncxk8gz6bn6wzzp9k6-coq-flocq-3.3.1
	/gnu/store/5jcjf3id7kzpgckfdvfca47f1v69z32q-coq-flocq-3.3.1