Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/6bi6hxz34xb74y9zmgz0gn62q12z89gk-proof-general-4.4	null	null	#f
	out	/gnu/store/yhrsqnyzv7m5swdvcmqsfa4fw0ym84xf-proof-general-4.4	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/n0dy3ar9lvzvlb855ijpfgxwyrz2k8h5-coq-8.10.2.drv	out
	/gnu/store/wilmnkrj61avl8wlf209fkkd5h61dl91-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/2h7jbbxl59xy18vhk0d3v2qb18qv8qxb-proof-general-4.4-guile-builder
	/gnu/store/yh41kmqr63pw1bazmwly6bln681jzpcy-proof-general-4.4-guile-builder
Common	/gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-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/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/2h7jbbxl59xy18vhk0d3v2qb18qv8qxb-proof-general-4.4-guile-builder
	/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/yh41kmqr63pw1bazmwly6bln681jzpcy-proof-general-4.4-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/qm64jw155f8hirghvzqjgb9rp3rszraz-module-import-compiled
out	/gnu/store/6bi6hxz34xb74y9zmgz0gn62q12z89gk-proof-general-4.4
	/gnu/store/yhrsqnyzv7m5swdvcmqsfa4fw0ym84xf-proof-general-4.4