Comparing derivations

Required. The derivation to use as the basis for the comparison.
Required. The derivation to compare against the base commit.
View JSON

Outputs

NamePathHash algorithmHashRecursive
out/gnu/store/yjg1n6rcd2jv464vi36i85bc77vbwan2-coq-equations-1.2.3nullnull#f
out/gnu/store/61zzsvbvk6a942j5kjfigfchlg7h3jyd-coq-equations-1.2.3nullnull#f

Inputs

DerivationOutputs
/gnu/store/s6clcnp5hycp0flk5ia51nm4dvr9njgm-coq-8.11.2.drvout
/gnu/store/ayfmq2ahfrb6y0vrfsp9y2zhvdvb9srr-camlp5-7.13.drvout
/gnu/store/yznz2549ly2ah1hy51f51ghb2y9ka8jv-ocaml-4.11.1.drvout
/gnu/store/bdw4sn87mxiq4gr9h809ic5m93vhf7cy-coq-8.11.2.drvout
/gnu/store/jpqvd7x6ziywsxyfn5bl2lmrrns35yqm-camlp5-7.13.drvout
/gnu/store/5r2kplyw3f4v4bfd2mbbpg2vi988jjc4-ocaml-4.11.1.drvout

Common inputs are omitted.

Sources

Derivation
/gnu/store/yg77i8z5g197sb821wfs2y4ridk6wjd4-coq-equations-1.2.3-guile-builder
/gnu/store/slk5x63cvcfxqaaah5rfbk2mg55rg7nr-coq-equations-1.2.3-guile-builder
Common/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import

System

i586-gnu

Builder and arguments

BuilderArguments
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import
  4. /gnu/store/yg77i8z5g197sb821wfs2y4ridk6wjd4-coq-equations-1.2.3-guile-builder
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import
  4. /gnu/store/slk5x63cvcfxqaaah5rfbk2mg55rg7nr-coq-equations-1.2.3-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH/gnu/store/l029db16qj4n2m0b2cpkcgksly2b23sl-module-import-compiled
out/gnu/store/yjg1n6rcd2jv464vi36i85bc77vbwan2-coq-equations-1.2.3
/gnu/store/61zzsvbvk6a942j5kjfigfchlg7h3jyd-coq-equations-1.2.3