/gnu/store/ybf5dsbyzrk6fq95r7156cad7ybla380-coq-core-8.14.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/5k6sj3w29qxj1pbpwgi79rf5913vvz0a-patch-2.7.6.drv
/gnu/store/5pnr9s2hscdc76jvr5qj4wzim1pjkjwp-coq-core-8.14.0-checkout.drv
/gnu/store/9jp3m8xciyfkg7p5qw48fmz0a0yvbw7y-xz-5.2.5.drv
/gnu/store/k79fw1rnclmw31xyp41fkgrs85r3l5pq-tar-1.34.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/zxppwvx6az2qda5gv4r6zw45b1p70hs7-coq-core-8.14.0-checkout