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/0cc2mj58bd6s5nzdm63lbr6rqxbsb2hr-coq-coquelicot-3.1.0nullnull#f
out/gnu/store/jsv349fvf59rvynrmw2b9w0wsw5v299m-coq-coquelicot-3.1.0nullnull#f

Inputs

DerivationOutputs
/gnu/store/7ifhgsllhj4pbb78p2rr1vsbgha90hax-coq-8.11.2.drvout
/gnu/store/88g2lffpkbg2c3vlh1fnszwcshbd93fp-coq-mathcomp-1.11.0.drvout
/gnu/store/fzm0fkcjxfn8zjr5wg5k0fgmk3gq5d3d-ocaml-4.11.1.drvout
/gnu/store/3dz5hpvpwhcrhigc9am5acf4h8vzkm6x-ocaml-4.11.1.drvout
/gnu/store/kldz0y5c191z5gnbhqirr33hwk5nji3d-coq-8.11.2.drvout
/gnu/store/n5yi9sma91g5s8mqzif2fvlmnsgbdgx4-coq-mathcomp-1.11.0.drvout

Common inputs are omitted.

Sources

Derivation
/gnu/store/0xk65vwi9b8g47s5h2fsi2dh4i4sc80a-coq-coquelicot-3.1.0-guile-builder
/gnu/store/i25m65p46517dmr4fwzcywv6hgj48k0m-coq-coquelicot-3.1.0-guile-builder
Common/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-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/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import
  4. /gnu/store/0xk65vwi9b8g47s5h2fsi2dh4i4sc80a-coq-coquelicot-3.1.0-guile-builder
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
  1. --no-auto-compile
  2. -L
  3. /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import
  4. /gnu/store/i25m65p46517dmr4fwzcywv6hgj48k0m-coq-coquelicot-3.1.0-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH/gnu/store/hh0gssdzr607gd2mpw24z5hcadi0k5j6-module-import-compiled
out/gnu/store/0cc2mj58bd6s5nzdm63lbr6rqxbsb2hr-coq-coquelicot-3.1.0
/gnu/store/jsv349fvf59rvynrmw2b9w0wsw5v299m-coq-coquelicot-3.1.0