Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/31p82b7rspjks15x2nqdcp7zjs43zhp2-coq-stdpp-1.4.0	null	null	#f
	out	/gnu/store/vc0k5jl0mklvwnhsizl6chyhvv0jzhjk-coq-stdpp-1.4.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/17rq392zjgvnk64y46hrzmh7n4rmgwiv-coq-8.10.2.drv	out
	/gnu/store/5qlbnnrip79qr50ihwhxg9wnwa8126gv-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/jna2zj316vcbywrjdlbji0d65hdl2q5w-coq-stdpp-1.4.0-guile-builder
	/gnu/store/ldpg2wx46zs77wfpgb8qpzld404smd7b-coq-stdpp-1.4.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

i586-gnu

Builder and arguments

	Builder	Arguments
	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/jna2zj316vcbywrjdlbji0d65hdl2q5w-coq-stdpp-1.4.0-guile-builder
	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/ldpg2wx46zs77wfpgb8qpzld404smd7b-coq-stdpp-1.4.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/l029db16qj4n2m0b2cpkcgksly2b23sl-module-import-compiled
out	/gnu/store/31p82b7rspjks15x2nqdcp7zjs43zhp2-coq-stdpp-1.4.0
	/gnu/store/vc0k5jl0mklvwnhsizl6chyhvv0jzhjk-coq-stdpp-1.4.0