Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/4fk082cydjbp63fh7gjif2q786yn1a3i-coq-coquelicot-3.1.0	null	null	#f
	out	/gnu/store/ip1j9v3nv5w359adc23l4crkczl0iwm2-coq-coquelicot-3.1.0	null	null	#f

Inputs

	Derivation	Outputs
	/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/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

Common inputs are omitted.

Sources

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

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/c04vp48kn64n9zvzl15899k3rkn5lwbb-module-import-compiled
out	/gnu/store/4fk082cydjbp63fh7gjif2q786yn1a3i-coq-coquelicot-3.1.0
	/gnu/store/ip1j9v3nv5w359adc23l4crkczl0iwm2-coq-coquelicot-3.1.0