Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/g65v0bryxn0rqqi5h87zi6n5lj6i7jj6-proof-general-4.4	null	null	#f
	out	/gnu/store/5wiz75a8cyfdj5cy1x1h85sbiczz34mn-proof-general-4.4	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/17rq392zjgvnk64y46hrzmh7n4rmgwiv-coq-8.10.2.drv	out
	/gnu/store/5qlbnnrip79qr50ihwhxg9wnwa8126gv-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/ark81x0vdsfxk37xk2250sgzs0b8q5y1-proof-general-4.4-guile-builder
	/gnu/store/a8vnbzncf3g3mrkz1cki089fnfwrmqg5-proof-general-4.4-guile-builder
Common	/gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import

System

i586-gnu

Builder and arguments

	Builder	Arguments
	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/ark81x0vdsfxk37xk2250sgzs0b8q5y1-proof-general-4.4-guile-builder
	/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/a8vnbzncf3g3mrkz1cki089fnfwrmqg5-proof-general-4.4-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/hawz7q5xkfbmkpijqqjr5bakk8bffa3a-module-import-compiled
out	/gnu/store/g65v0bryxn0rqqi5h87zi6n5lj6i7jj6-proof-general-4.4
	/gnu/store/5wiz75a8cyfdj5cy1x1h85sbiczz34mn-proof-general-4.4