/gnu/store/5qc842g6lm63r8wr59yb5kqqm7sqq2s6-coq-core-8.15.1-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0s9l42abbmhm2q04s5cr17kqqkzb16jv-guile-json-4.5.2.drv
/gnu/store/17h504dd3azqwi40aykljka1iiix01vh-git-minimal-2.36.0.drv
/gnu/store/27gz6lr46mlf63j52ajm44vh2dgsq56p-tar-1.34.drv
/gnu/store/6d1ya9a8ap708h90ij26n4y0r1yl358m-glibc-utf8-locales-2.33.drv
/gnu/store/7j7im83i60gi9v7b9c9qnf2mhx491aq7-guile-zlib-0.1.0.drv
/gnu/store/9c4k5b5khshrkbxkrp2cxyipamvnn35y-gzip-1.10.drv
/gnu/store/g6vhkrbpyfrlh1w9xd176dvqc5ay71wk-guile-3.0.7.drv
/gnu/store/q09jxy8pvln7gwahd14kjk8pvl6c6drm-module-import-compiled.drv
/gnu/store/rbnm6pjvlza5gz0q37w2rrq9h0knacw9-gnutls-3.7.2.drv

Derivation details

Builder/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-guile-3.0.7/bin/guile
Systemmips64el-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/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/z08hcgccx91790rv9sm3z4bm58l9rwcz-coq-core-8.15.1-checkout