Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/ipzgc2b02f41a6jwfi11hln1nzf7whjc-coq-equations-1.2.3	null	null	#f
	out	/gnu/store/b9qnx2si9mdcfbi1vcmhkixnnmpsvpg9-coq-equations-1.2.3	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/4zr24hqjb13yki5gzf4bxpjxc6b35zax-ocaml-4.11.1.drv	out
	/gnu/store/kwj184yk5b1pi097ay83a2m1vc6qrqv3-camlp5-7.13.drv	out
	/gnu/store/6g4i260aszamnxnp2v6qyglzsb587zpv-coq-8.11.2.drv	out
	/gnu/store/5m63kbska3ppwvljy74jx3p4kh0gx2gz-ocaml-4.11.1.drv	out
	/gnu/store/8s8ibszzja804s9wlavrvg77628r67ks-camlp5-7.13.drv	out
	/gnu/store/z3vlm0nvphhw344ls3b8wq01zsiggdbh-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/8i2zma1gvvqmcxvdsf2ks42dyskp5hyi-coq-equations-1.2.3-guile-builder
	/gnu/store/8q0d06m2mqdzxr09ln0cbhvfq5zd6ky8-coq-equations-1.2.3-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-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/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/8i2zma1gvvqmcxvdsf2ks42dyskp5hyi-coq-equations-1.2.3-guile-builder
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/8q0d06m2mqdzxr09ln0cbhvfq5zd6ky8-coq-equations-1.2.3-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/dw07ghxwzcxqgrml1n46j3a6qxqv62b0-module-import-compiled
out	/gnu/store/ipzgc2b02f41a6jwfi11hln1nzf7whjc-coq-equations-1.2.3
	/gnu/store/b9qnx2si9mdcfbi1vcmhkixnnmpsvpg9-coq-equations-1.2.3