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/wkpgr6xsk7ga4gckdy4n9aad88znk8cr-dedukti-2.6.0nullnull#f
out/gnu/store/in8vx1b7xkmxdk8wg6bb890f9ifmqz4c-dedukti-2.6.0nullnull#f

Inputs

DerivationOutputs
/gnu/store/pkap4iq7qmb8yqws97fwm5i7czflc51y-ocamlbuild-0.14.0.drvout
/gnu/store/kia1v1qi2i3r5ki0r7v0fapry9yimdf9-ocaml-menhir-20200211.drvout
/gnu/store/fzm0fkcjxfn8zjr5wg5k0fgmk3gq5d3d-ocaml-4.11.1.drvout
/gnu/store/xxgrps0hhrbn3k9gdz5737vvk7rvhif8-ocaml-findlib-1.8.1.drvout
/gnu/store/kg3r4shv2izwdy7ssr9yjikpja2czl9a-ocamlbuild-0.14.0.drvout
/gnu/store/3dz5hpvpwhcrhigc9am5acf4h8vzkm6x-ocaml-4.11.1.drvout
/gnu/store/f66ink0qcpm6idvz2brsl7k097qay1g5-ocaml-menhir-20200211.drvout
/gnu/store/8qp69gnx4vxbw2f7ds834ahk61q668q3-ocaml-findlib-1.8.1.drvout

Common inputs are omitted.

Sources

Derivation
/gnu/store/7wry5szjh9pi62jfq8gnmbxvzigbmqms-dedukti-2.6.0-guile-builder
/gnu/store/jlbd02flrwlj4g2p2cf22nxkg9lsm3cm-dedukti-2.6.0-guile-builder
Common/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import

System

aarch64-linux

Builder and arguments

BuilderArguments
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/7wry5szjh9pi62jfq8gnmbxvzigbmqms-dedukti-2.6.0-guile-builder
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/jlbd02flrwlj4g2p2cf22nxkg9lsm3cm-dedukti-2.6.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH/gnu/store/9xya81aa9yabqszwzmp3c240x7pfjghz-module-import-compiled
out/gnu/store/wkpgr6xsk7ga4gckdy4n9aad88znk8cr-dedukti-2.6.0
/gnu/store/in8vx1b7xkmxdk8wg6bb890f9ifmqz4c-dedukti-2.6.0