Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/3qklhjrgj87cwf04dwibrcl1ylrcvbix-coq-8.11.2	null	null	#f
	ide	/gnu/store/9n3b35gpkydm6kfjp4qlqhq5a4widbpp-coq-8.11.2-ide	null	null	#f
	out	/gnu/store/8gxmnl105cf82jr2pwjkaxxv0kn0kaq5-coq-8.11.2	null	null	#f
	ide	/gnu/store/wrm5v48v3vz6ad8xvd2s4fr472hhbppq-coq-8.11.2-ide	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/28xis9id8p4dr2s94a76wffl3avqn6v3-ocaml-findlib-1.8.1.drv	out
	/gnu/store/pk4880r2zsvqp13gs6pqlnlbm534bwjq-ocaml-4.11.1.drv	out
	/gnu/store/fq9iziqp4yfaw89jiw9hxwijjk64yva3-camlp5-7.13.drv	out
	/gnu/store/rq0kfh0chdr81camqwkb7ivmds5n4kqd-ocaml-num-1.1.drv	out
	/gnu/store/m17fy3wq7y2yddmbyvwdanwkjqcqzwpp-ocaml-ounit-2.0.8.drv	out
	/gnu/store/8nnf3kj7inl0snzj69l09x23l1wcv9dy-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/d2jdlhdbj55bqhxk7bp86lwncamhic8c-lablgtk-3.1.1.drv	out
	/gnu/store/aip3r7bbxp1v41fx1lqprgg80cfy07z2-ocaml-ounit-2.0.8.drv	out
	/gnu/store/0awayzfzmmk49jdx7nckirln1s8iq25a-lablgtk-3.1.1.drv	out
	/gnu/store/vdcbgx2cvbdycwjwhvkk8hh53a6p2h7z-ocaml-4.11.1.drv	out
	/gnu/store/kaca21gr3yvcr8230wk8ykhhh1pfi87a-ocaml-num-1.1.drv	out
	/gnu/store/a2wl0rkz4rx0jh7yfzfzq6azb1izns9j-ocaml-findlib-1.8.1.drv	out
	/gnu/store/7cxvlc8smcms5x5gp8i9ah0cr1v46rgf-camlp5-7.13.drv	out
	/gnu/store/c8i9aad6fa3473fkm68g7k1hg6hg48wp-ocaml-cairo2-0.6.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/pqqnlka372igj9i2gljx9ql6sw2178vl-coq-8.11.2-guile-builder
	/gnu/store/fysbjp0jqqvpshfk2sy3x90pyijc7kfl-coq-8.11.2-guile-builder
Common	/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import

System

x86_64-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/pqqnlka372igj9i2gljx9ql6sw2178vl-coq-8.11.2-guile-builder
	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/fysbjp0jqqvpshfk2sy3x90pyijc7kfl-coq-8.11.2-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/vpr3ip9hwl4jg6w0c04hgmrkdm8hc1m6-module-import-compiled
ide	/gnu/store/9n3b35gpkydm6kfjp4qlqhq5a4widbpp-coq-8.11.2-ide
	/gnu/store/wrm5v48v3vz6ad8xvd2s4fr472hhbppq-coq-8.11.2-ide
out	/gnu/store/3qklhjrgj87cwf04dwibrcl1ylrcvbix-coq-8.11.2
	/gnu/store/8gxmnl105cf82jr2pwjkaxxv0kn0kaq5-coq-8.11.2