Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/c0dk8blmx0d6jkj6dkr0c2b0mgvv39ga-coq-8.11.2	null	null	#f
	ide	/gnu/store/c76bbd89bhayzn12bvhn8l9j61mls6c2-coq-8.11.2-ide	null	null	#f
	out	/gnu/store/sn40sqqwyz1aglxyd6gcy6c1kfpfr8n2-coq-8.11.2	null	null	#f
	ide	/gnu/store/vnbmcn4nwam5jlgav52m5clrm90hgvlj-coq-8.11.2-ide	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/mkf7wl1q73a3zrn5fhfhc0id3czvpxlz-ocaml-findlib-1.8.1.drv	out
	/gnu/store/4zr24hqjb13yki5gzf4bxpjxc6b35zax-ocaml-4.11.1.drv	out
	/gnu/store/kwj184yk5b1pi097ay83a2m1vc6qrqv3-camlp5-7.13.drv	out
	/gnu/store/99i72kiv9kddhwni8yn5yix2f96fb502-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/ml714zdwgppcgwnnv23vzljw0w0p02n2-ocaml-ounit-2.0.8.drv	out
	/gnu/store/jb1z40cy42ny7kw7fkav7ydvhs0s91ja-ocaml-num-1.1.drv	out
	/gnu/store/f9h5jn04b5r6grxpkspg930izh95qn7n-lablgtk-3.1.1.drv	out
	/gnu/store/96lxa91g66s25j1mlr9ld7437ma6zcyk-ocaml-findlib-1.8.1.drv	out
	/gnu/store/fbavgi9p7ip4lj2v7mqkirk4wrbc8ifp-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/7zgrhxks2yq3qzsllj27wj8ibpixpd0p-ocaml-ounit-2.0.8.drv	out
	/gnu/store/ay5dn00hrmm2fvx1j7j5wfyc6pdb6h3q-ocaml-num-1.1.drv	out
	/gnu/store/5m63kbska3ppwvljy74jx3p4kh0gx2gz-ocaml-4.11.1.drv	out
	/gnu/store/yf5c4fdlaa6r1dn4rzvvwg6vigs9lf9g-lablgtk-3.1.1.drv	out
	/gnu/store/8s8ibszzja804s9wlavrvg77628r67ks-camlp5-7.13.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/jrj6m620p7gfh67g03kml5xi4mhz5w3n-coq-8.11.2-guile-builder
	/gnu/store/f69ymzb2xp8qyz6wmz369c0vjn0lj446-coq-8.11.2-guile-builder
Common	/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import

System

armhf-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/jrj6m620p7gfh67g03kml5xi4mhz5w3n-coq-8.11.2-guile-builder
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/f69ymzb2xp8qyz6wmz369c0vjn0lj446-coq-8.11.2-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/fvpzh6n4r04zizizgmn5iimg5iy5cd67-module-import-compiled
ide	/gnu/store/c76bbd89bhayzn12bvhn8l9j61mls6c2-coq-8.11.2-ide
	/gnu/store/vnbmcn4nwam5jlgav52m5clrm90hgvlj-coq-8.11.2-ide
out	/gnu/store/c0dk8blmx0d6jkj6dkr0c2b0mgvv39ga-coq-8.11.2
	/gnu/store/sn40sqqwyz1aglxyd6gcy6c1kfpfr8n2-coq-8.11.2