Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/74kdnjlygzihjcmrrg5jlgapp3p73qhs-proof-general-4.4	null	null	#f
	out	/gnu/store/00hrhxd4iqdjgzrsdayrz2yk695sh38w-proof-general-4.4	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/dgw13f9i655m1m9kl52zzm1674fd2isk-coq-8.10.2.drv	out
	/gnu/store/pmal2f6qibj888y6nawwx631xn3z2na2-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/k4qn2qkbqni11c1a5yhx1a2hn888ig6b-proof-general-4.4-guile-builder
	/gnu/store/dd7f1jrwq8igd8dzhy36324wygg980xv-proof-general-4.4-guile-builder
Common	/gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import

System

i686-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/k4qn2qkbqni11c1a5yhx1a2hn888ig6b-proof-general-4.4-guile-builder
	/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/dd7f1jrwq8igd8dzhy36324wygg980xv-proof-general-4.4-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/lj4slxpjl6cxxy5rg8c5a02k6fn5616j-module-import-compiled
out	/gnu/store/74kdnjlygzihjcmrrg5jlgapp3p73qhs-proof-general-4.4
	/gnu/store/00hrhxd4iqdjgzrsdayrz2yk695sh38w-proof-general-4.4