Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/qb2lv5n04znf3d0v67r9rsa912k39n22-coq-equations-1.2.3	null	null	#f
	out	/gnu/store/csgmaxv42qp98pz9vsva1bsi7fgjk3f7-coq-equations-1.2.3	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/pk4880r2zsvqp13gs6pqlnlbm534bwjq-ocaml-4.11.1.drv	out
	/gnu/store/fq9iziqp4yfaw89jiw9hxwijjk64yva3-camlp5-7.13.drv	out
	/gnu/store/rcnwbcvirvi9g51mx72nngnsqjnwypvk-coq-8.11.2.drv	out
	/gnu/store/vdcbgx2cvbdycwjwhvkk8hh53a6p2h7z-ocaml-4.11.1.drv	out
	/gnu/store/1dw9zhxcsrpharixsly2k5nd0kzwyzcm-coq-8.11.2.drv	out
	/gnu/store/7cxvlc8smcms5x5gp8i9ah0cr1v46rgf-camlp5-7.13.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/z9qcajspjlmwqckf484qjid920dy83f6-coq-equations-1.2.3-guile-builder
	/gnu/store/dx7axhv3qf6l1j57s5hk7yh62i1qa48h-coq-equations-1.2.3-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/z9qcajspjlmwqckf484qjid920dy83f6-coq-equations-1.2.3-guile-builder
	/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/dx7axhv3qf6l1j57s5hk7yh62i1qa48h-coq-equations-1.2.3-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/53vvkqvsay0ai6p965j0nbywzqxm5piq-module-import-compiled
out	/gnu/store/qb2lv5n04znf3d0v67r9rsa912k39n22-coq-equations-1.2.3
	/gnu/store/csgmaxv42qp98pz9vsva1bsi7fgjk3f7-coq-equations-1.2.3