Comparing derivations

Outputs

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

Inputs

	Derivation	Outputs
	/gnu/store/4zr24hqjb13yki5gzf4bxpjxc6b35zax-ocaml-4.11.1.drv	out
	/gnu/store/ggzbl773gfj71l8fxxlan5vrp9m73q9f-coq-bignums-8.11.0.drv	out
	/gnu/store/yyzm0l9f6pmfmmzgy91q8nn1jvfwpcay-coq-flocq-3.3.1.drv	out
	/gnu/store/6hg72yks4hppdn4s4lljsjcp7z6n1bsg-coq-coquelicot-3.1.0.drv	out
	/gnu/store/6g4i260aszamnxnp2v6qyglzsb587zpv-coq-8.11.2.drv	out
	/gnu/store/vpg871515pr8rwyr3hm0jk74cjviv1r4-coq-mathcomp-1.11.0.drv	out
	/gnu/store/caxy6m9wymal5svl494kr3rahgp71l13-coq-mathcomp-1.11.0.drv	out
	/gnu/store/4dqhjsni1zdwgb51cl5r9hfwylrv1sfs-coq-coquelicot-3.1.0.drv	out
	/gnu/store/5m63kbska3ppwvljy74jx3p4kh0gx2gz-ocaml-4.11.1.drv	out
	/gnu/store/avqwf1km6ar2rr6pih0v6ll4nskcwzq7-coq-flocq-3.3.1.drv	out
	/gnu/store/wbnl12wkddqhbxid7ypb3pl2yqra2zhx-coq-bignums-8.11.0.drv	out
	/gnu/store/z3vlm0nvphhw344ls3b8wq01zsiggdbh-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/vr6w456j69qnfr4cfl3m6jlz1b1rhxiq-coq-interval-4.0.0-guile-builder
	/gnu/store/dg211xyhzqi2hakn6bdvz9pmjv8cs6n1-coq-interval-4.0.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

armhf-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/vr6w456j69qnfr4cfl3m6jlz1b1rhxiq-coq-interval-4.0.0-guile-builder
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/dg211xyhzqi2hakn6bdvz9pmjv8cs6n1-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/dw07ghxwzcxqgrml1n46j3a6qxqv62b0-module-import-compiled
out	/gnu/store/v4vfvdf5na0gbz0axily2nm8pqagpw0i-coq-interval-4.0.0
	/gnu/store/l1xw5wvk2a3lnzqcv1a5x5fw2gkzm759-coq-interval-4.0.0