Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/nvsdh897iv2fxvg33rbdsjp64zvfx8wm-coq-coquelicot-3.1.0	null	null	#f
	out	/gnu/store/5fwjvlqck6b40pmdc30wd161rirwx1l8-coq-coquelicot-3.1.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/s6clcnp5hycp0flk5ia51nm4dvr9njgm-coq-8.11.2.drv	out
	/gnu/store/yznz2549ly2ah1hy51f51ghb2y9ka8jv-ocaml-4.11.1.drv	out
	/gnu/store/pp4fmvy29s0lpjqxfwh1pqck1k38qfzk-coq-mathcomp-1.11.0.drv	out
	/gnu/store/bdw4sn87mxiq4gr9h809ic5m93vhf7cy-coq-8.11.2.drv	out
	/gnu/store/cxrw0lvpdwlvh9rqjyr8i3p1agbza5mp-coq-mathcomp-1.11.0.drv	out
	/gnu/store/5r2kplyw3f4v4bfd2mbbpg2vi988jjc4-ocaml-4.11.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/wy3flarg17ipn3swxajy97yl52ib3wm0-coq-coquelicot-3.1.0-guile-builder
	/gnu/store/96zy6w1zb1xnvszdhzhypa9xrprblfic-coq-coquelicot-3.1.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/wy3flarg17ipn3swxajy97yl52ib3wm0-coq-coquelicot-3.1.0-guile-builder
	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/96zy6w1zb1xnvszdhzhypa9xrprblfic-coq-coquelicot-3.1.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/l029db16qj4n2m0b2cpkcgksly2b23sl-module-import-compiled
out	/gnu/store/nvsdh897iv2fxvg33rbdsjp64zvfx8wm-coq-coquelicot-3.1.0
	/gnu/store/5fwjvlqck6b40pmdc30wd161rirwx1l8-coq-coquelicot-3.1.0