Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/aq3jak3z7939vl83dykmfs9rnwwk3bz9-coq-stdpp-1.4.0	null	null	#f
	out	/gnu/store/yg3a6mxyqpm79mf1bsai5f62abb265gx-coq-stdpp-1.4.0	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/k5my96wlrvs2hbal8df415c1bs91p08b-coq-stdpp-1.4.0-guile-builder
	/gnu/store/vcirngkhjv60dlhvsrj3l56r78jaww54-coq-stdpp-1.4.0-guile-builder
Common	/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-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/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/k5my96wlrvs2hbal8df415c1bs91p08b-coq-stdpp-1.4.0-guile-builder
	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/vcirngkhjv60dlhvsrj3l56r78jaww54-coq-stdpp-1.4.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/hh0gssdzr607gd2mpw24z5hcadi0k5j6-module-import-compiled
out	/gnu/store/aq3jak3z7939vl83dykmfs9rnwwk3bz9-coq-stdpp-1.4.0
	/gnu/store/yg3a6mxyqpm79mf1bsai5f62abb265gx-coq-stdpp-1.4.0