Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/zyr96rb4g2ffyghwhpvxg160karg0r33-coq-interval-4.0.0	null	null	#f
	out	/gnu/store/bbjcp1cly2zj422zmqgpa6ycpx6kyyss-coq-interval-4.0.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/l4cq0dw3l8s4xzr5faffxkzm94pdmcf3-coq-flocq-3.3.1.drv	out
	/gnu/store/d3ilw753z8h7sp73lghlxa3db3122cv3-coq-8.11.2.drv	out
	/gnu/store/zjr22mswi5h1jj9nmzkc21imr3gvczzw-ocaml-4.11.1.drv	out
	/gnu/store/kw53nfnd8p3qnj7d33vnc71lw674bqah-coq-mathcomp-1.11.0.drv	out
	/gnu/store/jrxjpr059i23rzq4c1mqzkraklnqqqfz-coq-bignums-8.11.0.drv	out
	/gnu/store/mcrrjnb54qg0fsi20mgmjxfk4hfvcnd3-coq-coquelicot-3.1.0.drv	out
	/gnu/store/5w3qvfpigazfnrvf8kzi57mrd6kz16qr-coq-coquelicot-3.1.0.drv	out
	/gnu/store/2ax1dp1xm089w18vxms8919h5jbyaran-coq-bignums-8.11.0.drv	out
	/gnu/store/s6n3wi32ymjwc9w8shdlvgvqx2psra58-coq-8.11.2.drv	out
	/gnu/store/chw4i6w5jx8b9095q488wlk1zb2lap1j-ocaml-4.11.1.drv	out
	/gnu/store/y9isswrqk2fp6cdgg08vkxcpkhfb17ah-coq-mathcomp-1.11.0.drv	out
	/gnu/store/y0byi8bvgvm8ya133w50p5bf6wdhnmg5-coq-flocq-3.3.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/w4q1x6gm8nqk7552ml2kfa0iaf0jyyb9-coq-interval-4.0.0-guile-builder
	/gnu/store/rmx3br1m6hdy2h9mqqrpx3na42sdcbic-coq-interval-4.0.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

mips64el-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/w4q1x6gm8nqk7552ml2kfa0iaf0jyyb9-coq-interval-4.0.0-guile-builder
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/rmx3br1m6hdy2h9mqqrpx3na42sdcbic-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/c04vp48kn64n9zvzl15899k3rkn5lwbb-module-import-compiled
out	/gnu/store/zyr96rb4g2ffyghwhpvxg160karg0r33-coq-interval-4.0.0
	/gnu/store/bbjcp1cly2zj422zmqgpa6ycpx6kyyss-coq-interval-4.0.0