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/57m7rwa29jd7izqjf562rd2bjj5dvwp9-dedukti-2.6.0nullnull#f
out/gnu/store/1x8sy7rgb57pb6y704r3f45fdiiam1g3-dedukti-2.6.0nullnull#f

Inputs

DerivationOutputs
/gnu/store/9mw7kklqr4i8xmbscv1jpbwc970dra6w-ocaml-4.11.1.drvout
/gnu/store/vzm54r30wisqvk9awwf098ffny57j8xh-ocamlbuild-0.14.0.drvout
/gnu/store/sypywqnwbbkjg93rpzi1macpi7waqm5s-ocaml-menhir-20200211.drvout
/gnu/store/1fzd47kijc0339da3ijnjzn93jkqx9wp-ocaml-findlib-1.8.1.drvout
/gnu/store/vwsigm7jc273d0ghb0pb0m8dsw68f223-ocaml-menhir-20200211.drvout
/gnu/store/dsn0l3yizasam9jnjd13kjahn6yk0nzj-ocaml-4.11.1.drvout
/gnu/store/lrvk4psrj4h34fp73l7jmi9sb2d9p0zc-ocamlbuild-0.14.0.drvout
/gnu/store/qzbyhkhhg910cklqd62hdfh2q6k453xs-ocaml-findlib-1.8.1.drvout

Common inputs are omitted.

Sources

Derivation
/gnu/store/6la1hp86j58a7y56ng60i7ixvz2p9phs-dedukti-2.6.0-guile-builder
/gnu/store/gzk56n16417rj8hckij4ipjkjviwxpb8-dedukti-2.6.0-guile-builder
Common/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import

System

powerpc64le-linux

Builder and arguments

BuilderArguments
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/6la1hp86j58a7y56ng60i7ixvz2p9phs-dedukti-2.6.0-guile-builder
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/gzk56n16417rj8hckij4ipjkjviwxpb8-dedukti-2.6.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH/gnu/store/3skflz26yx7j6v63nwin17ird5fi6q3f-module-import-compiled
out/gnu/store/57m7rwa29jd7izqjf562rd2bjj5dvwp9-dedukti-2.6.0
/gnu/store/1x8sy7rgb57pb6y704r3f45fdiiam1g3-dedukti-2.6.0