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

Inputs

DerivationOutputs
/gnu/store/0ysxrhblpi5gn2bnk1bmzdv7dqq062zv-ocamlbuild-0.14.0.drvout
/gnu/store/r866wwir6a606qchlbd3ld4y9siw28m9-ocaml-findlib-1.8.1.drvout
/gnu/store/nq356cz12g5i60ky2q1zih9gx4slsc2f-ocaml-menhir-20200211.drvout
/gnu/store/yznz2549ly2ah1hy51f51ghb2y9ka8jv-ocaml-4.11.1.drvout
/gnu/store/5zwhzpsjqmvcwblg18ipvng62zycx1hj-ocaml-menhir-20200211.drvout
/gnu/store/61nzg26pzblr4kgln0vairz0s2mb7bav-ocamlbuild-0.14.0.drvout
/gnu/store/prldj7bsqffkpj3f85flgjlk527pwf85-ocaml-findlib-1.8.1.drvout
/gnu/store/5r2kplyw3f4v4bfd2mbbpg2vi988jjc4-ocaml-4.11.1.drvout

Common inputs are omitted.

Sources

Derivation
/gnu/store/wx0v2vahfxf9paxhm689j5d7lhbncv6h-dedukti-2.6.0-guile-builder
/gnu/store/rd07c9mygqnv5pafhv95ffdx83y9zpqw-dedukti-2.6.0-guile-builder
Common/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-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/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/wx0v2vahfxf9paxhm689j5d7lhbncv6h-dedukti-2.6.0-guile-builder
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import
  4. /gnu/store/rd07c9mygqnv5pafhv95ffdx83y9zpqw-dedukti-2.6.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH/gnu/store/ai1f98ly9055bx7cimx40rjr3wkizwsl-module-import-compiled
out/gnu/store/i1lb5rcsd7vg0p0b4f1hksqab7gyic65-dedukti-2.6.0
/gnu/store/x9q1lbm00zl6g399014s378n0vkrvkx2-dedukti-2.6.0