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/4mxrmx15hqnm2v4qc6y2m7z2agf97gq7-dedukti-2.6.0nullnull#f
out/gnu/store/9kpv27gvnfla7yqqv3c3lf4svas8205q-dedukti-2.6.0nullnull#f

Inputs

DerivationOutputs
/gnu/store/mkf7wl1q73a3zrn5fhfhc0id3czvpxlz-ocaml-findlib-1.8.1.drvout
/gnu/store/4zr24hqjb13yki5gzf4bxpjxc6b35zax-ocaml-4.11.1.drvout
/gnu/store/cv8jkp2h5mx9c0xjxx3h2gwn19793zvh-ocamlbuild-0.14.0.drvout
/gnu/store/44cbra4yav7knxgm517xm3zlwz2r512z-ocaml-menhir-20200211.drvout
/gnu/store/96lxa91g66s25j1mlr9ld7437ma6zcyk-ocaml-findlib-1.8.1.drvout
/gnu/store/5m63kbska3ppwvljy74jx3p4kh0gx2gz-ocaml-4.11.1.drvout
/gnu/store/yc1g919k0zd37zk888kpfjbjj9jypzff-ocamlbuild-0.14.0.drvout
/gnu/store/mmfgqx00aylshsnjni2nfbq6dizbzhk7-ocaml-menhir-20200211.drvout

Common inputs are omitted.

Sources

Derivation
/gnu/store/bzkp5q88njx61w11pg6wl6xcmssfszkk-dedukti-2.6.0-guile-builder
/gnu/store/nggj0va5v8rhy6amy4lizmn44h5k82lm-dedukti-2.6.0-guile-builder
Common/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import

System

armhf-linux

Builder and arguments

BuilderArguments
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/bzkp5q88njx61w11pg6wl6xcmssfszkk-dedukti-2.6.0-guile-builder
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/nggj0va5v8rhy6amy4lizmn44h5k82lm-dedukti-2.6.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH/gnu/store/fvpzh6n4r04zizizgmn5iimg5iy5cd67-module-import-compiled
out/gnu/store/4mxrmx15hqnm2v4qc6y2m7z2agf97gq7-dedukti-2.6.0
/gnu/store/9kpv27gvnfla7yqqv3c3lf4svas8205q-dedukti-2.6.0