Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/njhckyy2ls23amcgy6i9kfh79kpm0jmk-proof-general-4.4	null	null	#f
	out	/gnu/store/rffz7w9iczwvzaj50knvci9jbzgn6kg5-proof-general-4.4	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/zll18rxgv2zg0vxb5jkl2yr7cim61j28-coq-8.10.2.drv	out
	/gnu/store/maqddpn32w5frzxwbd3drh4d35sw2rx8-coq-8.11.2.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/b6z2sf04vlfmngnpbyp2a6xn66z0kzp5-proof-general-4.4-guile-builder
	/gnu/store/h0xfqc84fxf8lf2ykir7x0jaj3c7p9rc-proof-general-4.4-guile-builder
Common	/gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import

System

aarch64-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/b6z2sf04vlfmngnpbyp2a6xn66z0kzp5-proof-general-4.4-guile-builder
	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/xnp3ab0hkgk70h5jvsd70yih1yrwmp89-module-import /gnu/store/h0xfqc84fxf8lf2ykir7x0jaj3c7p9rc-proof-general-4.4-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/vq2f6vcvx4vnff0zfzh5q2awcm52j7jl-module-import-compiled
out	/gnu/store/njhckyy2ls23amcgy6i9kfh79kpm0jmk-proof-general-4.4
	/gnu/store/rffz7w9iczwvzaj50knvci9jbzgn6kg5-proof-general-4.4