Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/88ig9pjmyvlvcmcp6i6p5w6ihfzmr9v5-coq-interval-4.0.0	null	null	#f
	out	/gnu/store/989py6xxv8vr8pgdqw2cs58cc1ml663l-coq-interval-4.0.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/3viqfh8n60ddda9w9iss69pdw8s50gpx-coq-8.11.2.drv	out
	/gnu/store/bm37r6gkgliky8yiglby2ikr6rqacrnx-coq-mathcomp-1.11.0.drv	out
	/gnu/store/d54vnziszqig5qadg632vs93z2wadvyp-coq-flocq-3.3.1.drv	out
	/gnu/store/yybhgrhwmh92wyq7gmy2vqi627nx2r7d-ocaml-4.11.1.drv	out
	/gnu/store/zj29nc8p3f1np60rx5akv30v951bcfak-coq-bignums-8.11.0.drv	out
	/gnu/store/2jhkmhbm1mpjnw365i6gkyv477zjf5gy-coq-coquelicot-3.1.0.drv	out
	/gnu/store/902pirl81cpzp5ik6hvcdyhkyjsgbzk2-ocaml-4.11.1.drv	out
	/gnu/store/m2mwi838sbvwgpj9q13mhg9hnnj5z7gz-coq-coquelicot-3.1.0.drv	out
	/gnu/store/zkahvnz7j7apnagx6frfjqb9g14x5bss-coq-8.11.2.drv	out
	/gnu/store/j16k9q8cq54pmj3igafh8wb8f4vaqcqp-coq-mathcomp-1.11.0.drv	out
	/gnu/store/rr13kc1y0mpjx9yh3cykc2v7206imcyb-coq-bignums-8.11.0.drv	out
	/gnu/store/p6xkp1rgnydpx2siv2fhb9rp83gm1yv3-coq-flocq-3.3.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/jjxhs21197h2d2rxm8hi619fqynr1jnj-coq-interval-4.0.0-guile-builder
	/gnu/store/9jbqkvyg4i23x0831sz3b5m6mrj6cjyk-coq-interval-4.0.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/jjxhs21197h2d2rxm8hi619fqynr1jnj-coq-interval-4.0.0-guile-builder
	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/9jbqkvyg4i23x0831sz3b5m6mrj6cjyk-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/h2nv8781zwnlnfqafimqj9ya21d8v278-module-import-compiled
out	/gnu/store/88ig9pjmyvlvcmcp6i6p5w6ihfzmr9v5-coq-interval-4.0.0
	/gnu/store/989py6xxv8vr8pgdqw2cs58cc1ml663l-coq-interval-4.0.0