Comparing derivations

Outputs

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

Inputs

	Derivation	Outputs
	/gnu/store/7ifhgsllhj4pbb78p2rr1vsbgha90hax-coq-8.11.2.drv	out
	/gnu/store/88g2lffpkbg2c3vlh1fnszwcshbd93fp-coq-mathcomp-1.11.0.drv	out
	/gnu/store/k0cj7kli5wvrdk1b21n07f3a67pad497-coq-flocq-3.3.1.drv	out
	/gnu/store/8l1lj64by5gfkd4hh6wlbqmlc065mbhh-coq-coquelicot-3.1.0.drv	out
	/gnu/store/9c1s1a4ln6zs09iwhansdyab4bdzgmgr-coq-bignums-8.11.0.drv	out
	/gnu/store/fzm0fkcjxfn8zjr5wg5k0fgmk3gq5d3d-ocaml-4.11.1.drv	out
	/gnu/store/qdfy9zx1i01yri0j4r4mb2r3qzjp2iv2-coq-flocq-3.3.1.drv	out
	/gnu/store/na8jag3df0wwwn60v0vmcxfs8qj18ajg-coq-bignums-8.11.0.drv	out
	/gnu/store/3dz5hpvpwhcrhigc9am5acf4h8vzkm6x-ocaml-4.11.1.drv	out
	/gnu/store/vmb53hyx9b621l1ly9cakdxcdv3q91il-coq-coquelicot-3.1.0.drv	out
	/gnu/store/kldz0y5c191z5gnbhqirr33hwk5nji3d-coq-8.11.2.drv	out
	/gnu/store/n5yi9sma91g5s8mqzif2fvlmnsgbdgx4-coq-mathcomp-1.11.0.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/wy4clm70mz8fhbmmsykvr4s5gg8rkp5s-coq-interval-4.0.0-guile-builder
	/gnu/store/1bd8dq2h8lwx7l8h2fykpajj9cxjfqly-coq-interval-4.0.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

aarch64-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/wy4clm70mz8fhbmmsykvr4s5gg8rkp5s-coq-interval-4.0.0-guile-builder
	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/1bd8dq2h8lwx7l8h2fykpajj9cxjfqly-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/hh0gssdzr607gd2mpw24z5hcadi0k5j6-module-import-compiled
out	/gnu/store/cr9mp7mc7d0gdb38xr7ayv3vs693h6ym-coq-interval-4.0.0
	/gnu/store/xxa7v8210irvdbj39cqlcmxipmgx6ngf-coq-interval-4.0.0