/gnu/store/nbc8hnwsjmsbc9pa7av1a56hwzylj3hf-coq-core-8.15.1-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1hnzw4ishvk4b82crv5gvam8x2xcmc2q-git-minimal-2.36.0.drv
/gnu/store/3v1na6s3ypiry4czxi4mh3r7v3vpggbq-guile-zlib-0.1.0.drv
/gnu/store/7wqisnn89di08na3wsnbddm6w8p4cabc-glibc-utf8-locales-2.33.drv
/gnu/store/84n75x218kxx3a1p9gnn06y66v8amc59-guile-3.0.7.drv
/gnu/store/awlnr4rwz9qiwafm3qpa5v2skg3kl7ja-tar-1.34.drv
/gnu/store/faym66lmkr8b3kawqlnz1z811lkzh4zz-gnutls-3.7.2.drv
/gnu/store/sqqjiq60y56rkqp7vbarv1yzs6jdfvcv-gzip-1.10.drv
/gnu/store/wlia5cqgv852bjpfzmanymkpbsj4fi2r-module-import-compiled.drv
/gnu/store/xq34fkxbr5bfsmswc807abbn2qyji08b-guile-json-4.5.2.drv

Derivation details

Builder/gnu/store/rsxyxd2f9jrc6gszbjf3rfzbhwazyrgh-guile-3.0.7/bin/guile
Systemarmhf-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