Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/skplv6gx6lm82bnd7y148pq4jmp8lf0m-coq-8.11.2	null	null	#f
	ide	/gnu/store/06mylk3yjg2vqf1kmj0abd4rlmd3v115-coq-8.11.2-ide	null	null	#f
	out	/gnu/store/w2mwjf57mmvhbrjhg7kclvc2pf4wjd84-coq-8.11.2	null	null	#f
	ide	/gnu/store/2r49bg44a8h8n5cg56ijy479sg0i95nx-coq-8.11.2-ide	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/kkfkax72kkc8vn2yl4bsll9fk0kn8dj7-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/yybhgrhwmh92wyq7gmy2vqi627nx2r7d-ocaml-4.11.1.drv	out
	/gnu/store/qa3hq2di5h7kkw1hj90vs30lyzv0rk5v-lablgtk-3.1.1.drv	out
	/gnu/store/icb0q0rpzspi6i3pm7c71lhra8lsv46n-ocaml-num-1.1.drv	out
	/gnu/store/vifclqzk14mg4gvrxkv8skjm8pppmfx0-camlp5-7.13.drv	out
	/gnu/store/g1dff07flfxd65c1ypbk81ni5xvpj0sn-ocaml-ounit-2.0.8.drv	out
	/gnu/store/pbavkpxrrr4h5scp70rs714s7zvj7yvg-ocaml-findlib-1.8.1.drv	out
	/gnu/store/7619cain1k9rxvmsfklnv5661s0z7qcw-ocaml-ounit-2.0.8.drv	out
	/gnu/store/902pirl81cpzp5ik6hvcdyhkyjsgbzk2-ocaml-4.11.1.drv	out
	/gnu/store/d1ljbv9cpp84540rs2h6ql265bavll41-ocaml-num-1.1.drv	out
	/gnu/store/glmx6l7h9fwz3dl06qhpd3nijx12p5iv-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/ixjmyf5xfyzq79a1knbv6jkk0glacwgv-camlp5-7.13.drv	out
	/gnu/store/6myklsiww1fhnkjlkgylwd92sypjz80h-lablgtk-3.1.1.drv	out
	/gnu/store/f7w5sxss71q6pqy5qd7b3ynscx6ac938-ocaml-findlib-1.8.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/41afjhdn07mdv3q38cbrfy7yjv7g0lwj-coq-8.11.2-guile-builder
	/gnu/store/b23gx80myp18187srh4hr64h7qnkbc17-coq-8.11.2-guile-builder
Common	/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-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/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/41afjhdn07mdv3q38cbrfy7yjv7g0lwj-coq-8.11.2-guile-builder
	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/b23gx80myp18187srh4hr64h7qnkbc17-coq-8.11.2-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/xkbr597r9krayy7kc1zr0wlwzryjvn7a-module-import-compiled
ide	/gnu/store/06mylk3yjg2vqf1kmj0abd4rlmd3v115-coq-8.11.2-ide
	/gnu/store/2r49bg44a8h8n5cg56ijy479sg0i95nx-coq-8.11.2-ide
out	/gnu/store/skplv6gx6lm82bnd7y148pq4jmp8lf0m-coq-8.11.2
	/gnu/store/w2mwjf57mmvhbrjhg7kclvc2pf4wjd84-coq-8.11.2