Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/wjdyl79jsajg9qbm805i7nvk2lm5jq89-coq-interval-4.0.0	null	null	#f
	out	/gnu/store/41bq1d5zbwn2zsrdz87hhy0xwg4mznk7-coq-interval-4.0.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/s6clcnp5hycp0flk5ia51nm4dvr9njgm-coq-8.11.2.drv	out
	/gnu/store/v3m690sn9cdmvsbcppg8limsr5yil7k2-coq-coquelicot-3.1.0.drv	out
	/gnu/store/nssxvxpags6pcwv5ykzxaqvbcj0vnyqq-coq-flocq-3.3.1.drv	out
	/gnu/store/xvjs0fc527s72nl8as4w0f789bv5lmdm-coq-bignums-8.11.0.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/2fdhp1xc2a03l6mqdkyl4w5jn0jbpxd0-coq-coquelicot-3.1.0.drv	out
	/gnu/store/g754xq1jbjaqrgw5xwwvpbqbdrp299yf-coq-bignums-8.11.0.drv	out
	/gnu/store/4gphdnhc7knx3nb3qbp3dgqvsb99vwgg-coq-flocq-3.3.1.drv	out
	/gnu/store/5r2kplyw3f4v4bfd2mbbpg2vi988jjc4-ocaml-4.11.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/9gw1wlg97bzdz4i2f0jg19nhhpkvhgf8-coq-interval-4.0.0-guile-builder
	/gnu/store/sd69gz2rjjwhglm4z5r86q5jj62dq6xy-coq-interval-4.0.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/9gw1wlg97bzdz4i2f0jg19nhhpkvhgf8-coq-interval-4.0.0-guile-builder
	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/sd69gz2rjjwhglm4z5r86q5jj62dq6xy-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/l029db16qj4n2m0b2cpkcgksly2b23sl-module-import-compiled
out	/gnu/store/wjdyl79jsajg9qbm805i7nvk2lm5jq89-coq-interval-4.0.0
	/gnu/store/41bq1d5zbwn2zsrdz87hhy0xwg4mznk7-coq-interval-4.0.0