Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/qda1pzywn55s7svap0pavn84xdk998cx-coq-stdpp-1.4.0	null	null	#f
	out	/gnu/store/v2ch35ga70fkq65435apc2p9vyfjmbwl-coq-stdpp-1.4.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/6g4i260aszamnxnp2v6qyglzsb587zpv-coq-8.11.2.drv	out
	/gnu/store/z3vlm0nvphhw344ls3b8wq01zsiggdbh-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/psvlzdng53mpmmk4czq3ly8f56nlxb8s-coq-stdpp-1.4.0-guile-builder
	/gnu/store/xpazyhqiqg5qd7zk81q3cqj9c30vgprh-coq-stdpp-1.4.0-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/psvlzdng53mpmmk4czq3ly8f56nlxb8s-coq-stdpp-1.4.0-guile-builder
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/xpazyhqiqg5qd7zk81q3cqj9c30vgprh-coq-stdpp-1.4.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/dw07ghxwzcxqgrml1n46j3a6qxqv62b0-module-import-compiled
out	/gnu/store/qda1pzywn55s7svap0pavn84xdk998cx-coq-stdpp-1.4.0
	/gnu/store/v2ch35ga70fkq65435apc2p9vyfjmbwl-coq-stdpp-1.4.0