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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/5k6sj3w29qxj1pbpwgi79rf5913vvz0a-patch-2.7.6.drv
/gnu/store/9jp3m8xciyfkg7p5qw48fmz0a0yvbw7y-xz-5.2.5.drv
/gnu/store/k79fw1rnclmw31xyp41fkgrs85r3l5pq-tar-1.34.drv
/gnu/store/kq7nml9sw3rm7a1p29qixq58b93bbcbm-coq-core-8.14.1-checkout.drv
/gnu/store/m0nbbk3vgl637ibrz7z72r5v0dkswpi2-guile-3.0.7.drv
/gnu/store/qcksap17gs36gpnjj3by4d7r7yxfq405-module-import-compiled.drv
/gnu/store/zh2adxhwgvqn8dddxc793mkwmfrdv9x1-glibc-utf8-locales-2.33.drv

Derivation details

Builder/gnu/store/fidl08nms5v63lkqv627zibxpd85zxqb-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

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

Outputs

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