Comparing derivations

Outputs

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

Inputs

	Derivation	Outputs
	/gnu/store/3viqfh8n60ddda9w9iss69pdw8s50gpx-coq-8.11.2.drv	out
	/gnu/store/zkahvnz7j7apnagx6frfjqb9g14x5bss-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/h9nbr27pg9lk714mqkb0xfk2l6w40qwr-coq-stdpp-1.4.0-guile-builder
	/gnu/store/vbchqmm7qmhfcfr4yq912fclv77gvpnl-coq-stdpp-1.4.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

i686-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/h9nbr27pg9lk714mqkb0xfk2l6w40qwr-coq-stdpp-1.4.0-guile-builder
	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/vbchqmm7qmhfcfr4yq912fclv77gvpnl-coq-stdpp-1.4.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/h2nv8781zwnlnfqafimqj9ya21d8v278-module-import-compiled
out	/gnu/store/lvfd4hz23j370rzwil75sp5zmb69d93i-coq-stdpp-1.4.0
	/gnu/store/w7b1br79wj8fy037pg1232pm9g579icc-coq-stdpp-1.4.0