Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/h9m3j30x3fbvmz8kaks6pq2z1064hcla-coq-stdpp-1.4.0	null	null	#f
	out	/gnu/store/zwrizqw1dld6nl7adhb6zzcmmyl0mzpr-coq-stdpp-1.4.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/d3ilw753z8h7sp73lghlxa3db3122cv3-coq-8.11.2.drv	out
	/gnu/store/s6n3wi32ymjwc9w8shdlvgvqx2psra58-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/4wyswfhdpflzvn9ad2y9wv4nvp84dxfv-coq-stdpp-1.4.0-guile-builder
	/gnu/store/v5xn3bsjh9562dd0ih7y5gaycpxpr4w8-coq-stdpp-1.4.0-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/4wyswfhdpflzvn9ad2y9wv4nvp84dxfv-coq-stdpp-1.4.0-guile-builder
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/v5xn3bsjh9562dd0ih7y5gaycpxpr4w8-coq-stdpp-1.4.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/c04vp48kn64n9zvzl15899k3rkn5lwbb-module-import-compiled
out	/gnu/store/h9m3j30x3fbvmz8kaks6pq2z1064hcla-coq-stdpp-1.4.0
	/gnu/store/zwrizqw1dld6nl7adhb6zzcmmyl0mzpr-coq-stdpp-1.4.0