Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/a9xbimrg6ncrv35h64il80vvgjfrk6xw-coq-interval-4.0.0	null	null	#f
	out	/gnu/store/4jc2a5di9y73xgf72bnwc10770zjmbq7-coq-interval-4.0.0	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/pk4880r2zsvqp13gs6pqlnlbm534bwjq-ocaml-4.11.1.drv	out
	/gnu/store/idnwab6yz58gfrxms35hrj9ran58yz1y-coq-bignums-8.11.0.drv	out
	/gnu/store/ika0yxfsrqjw106lbnz8wxhfb88ihwvj-coq-coquelicot-3.1.0.drv	out
	/gnu/store/rcnwbcvirvi9g51mx72nngnsqjnwypvk-coq-8.11.2.drv	out
	/gnu/store/c9d7fq38ak08d1zp383fp7i9v7iqsf33-coq-flocq-3.3.1.drv	out
	/gnu/store/93rh9xgllj7gwxgj0phy85x8q4w2arb9-coq-mathcomp-1.11.0.drv	out
	/gnu/store/vbycgnv6ahly48h299jb5bzyhj4jqva6-coq-bignums-8.11.0.drv	out
	/gnu/store/nhsq2g83y55vynabdk3sds73kpc0rk4g-coq-mathcomp-1.11.0.drv	out
	/gnu/store/vdcbgx2cvbdycwjwhvkk8hh53a6p2h7z-ocaml-4.11.1.drv	out
	/gnu/store/jrfs5dp9hc8hyfn114zsswr1izfrrwxr-coq-coquelicot-3.1.0.drv	out
	/gnu/store/1dw9zhxcsrpharixsly2k5nd0kzwyzcm-coq-8.11.2.drv	out
	/gnu/store/mzqs89bzk3x0w79ldxkr0i8rx70nz96v-coq-flocq-3.3.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/4l1nqsxplb89w2rqzdvqmzhs9zlgybgf-coq-interval-4.0.0-guile-builder
	/gnu/store/kzbsd9w0rrs1qqds53s1m0jyisyshhmj-coq-interval-4.0.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

x86_64-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/4l1nqsxplb89w2rqzdvqmzhs9zlgybgf-coq-interval-4.0.0-guile-builder
	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/kzbsd9w0rrs1qqds53s1m0jyisyshhmj-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/53vvkqvsay0ai6p965j0nbywzqxm5piq-module-import-compiled
out	/gnu/store/a9xbimrg6ncrv35h64il80vvgjfrk6xw-coq-interval-4.0.0
	/gnu/store/4jc2a5di9y73xgf72bnwc10770zjmbq7-coq-interval-4.0.0