Comparing derivations

Outputs

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

Inputs

	Derivation	Outputs
	/gnu/store/q5gjz0x672yzry7xlgvscqjvl59z31p1-coq-flocq-3.3.1.drv	out
	/gnu/store/9mw7kklqr4i8xmbscv1jpbwc970dra6w-ocaml-4.11.1.drv	out
	/gnu/store/n1v1gpffrxydzs43j7alw2ayp3p9iq7m-coq-bignums-8.11.0.drv	out
	/gnu/store/vii9ls23yhwgmqvrdyv6853wcn13c95y-coq-coquelicot-3.1.0.drv	out
	/gnu/store/1mxv832w3w2kz1fq5f94ibr5a5ih1v08-coq-8.11.2.drv	out
	/gnu/store/zv8zjx137lji6dysa6q6r54y76b22dmj-coq-mathcomp-1.11.0.drv	out
	/gnu/store/nwaxmsgfymyvqj6xy9wdbkvnavmdv3v3-coq-flocq-3.3.1.drv	out
	/gnu/store/dsn0l3yizasam9jnjd13kjahn6yk0nzj-ocaml-4.11.1.drv	out
	/gnu/store/xf05icfx7vhj1sfq5m5jscrzzd6slcws-coq-coquelicot-3.1.0.drv	out
	/gnu/store/y07b5frr0x70ndych6fnpjy2vjzhk0jh-coq-8.11.2.drv	out
	/gnu/store/2w04qlqndndlc3f3v7sh8m7l998wr1dg-coq-mathcomp-1.11.0.drv	out
	/gnu/store/n9lad936474i7zdg78li3icrnbxq0msw-coq-bignums-8.11.0.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/cnzv4ay9ww2vhh32053am0ir9yvp94hb-coq-interval-4.0.0-guile-builder
	/gnu/store/i0j7qyyjidb3mhvhzwxz8wlc4qx2xgzd-coq-interval-4.0.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

powerpc64le-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/cnzv4ay9ww2vhh32053am0ir9yvp94hb-coq-interval-4.0.0-guile-builder
	/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/i0j7qyyjidb3mhvhzwxz8wlc4qx2xgzd-coq-interval-4.0.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/xqzfmscm0m0f34mj0pdn7aihzsisqgmw-module-import-compiled
out	/gnu/store/hb56clvv76g45igm53xalmmq7j4bf3x9-coq-interval-4.0.0
	/gnu/store/ih3hmznn3f8q1l9yqhbnb7ql02brbpi4-coq-interval-4.0.0