/gnu/store/qfifss18ghm0b525pfvbyb9nrm0nkcg7-coq-core-8.14.1-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/433j78kf37izcxgrivw2cf963bj97gis-git-minimal-2.34.0.drv
/gnu/store/50xp43gjpsbaaiikbpsygdgyaz6ivg5w-tar-1.34.drv
/gnu/store/cb36mv3dnvvlgijzn4p24m52v8rzc9l1-guile-3.0.7.drv
/gnu/store/fa9mcv51zhy7icpfq36mwqv6xl71hp0n-gzip-1.10.drv
/gnu/store/g59h8qfm5j05z4zfldm8yd9p2dmh28qc-gnutls-3.7.2.drv
/gnu/store/ikd4v465wr6ad62y7pd6pdj274hg3mhb-module-import-compiled.drv
/gnu/store/vm6fxxmdk0a0571wp0b5n0nxbha2vnzn-guile-json-4.5.2.drv
/gnu/store/ymf8f00k8pddp1kdd2mr29lgiq88wnmk-guile-zlib-0.1.0.drv

Derivation details

Builder/gnu/store/fzywmbql7438sbfg6qhkh3d9v39357bv-guile-3.0.7/bin/guile
Systemriscv64-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/b8m73hpjdfbg9piqgf9ybjzqpwbvkaav-coq-core-8.14.1-checkout