/gnu/store/czpnbnk27wyp3a3gbpqfkynhlkb95pzr-coq-8.17.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/08gljwrllw6z0clx6gh5mxhw14kaydsz-file-5.44.drv
/gnu/store/0w2r4m4fk152rsaw37c3wlwdj2xz8dq0-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/0wnn46nw2ywql9kbgx75wp2yhacv2mp5-ocaml-lwt-5.6.1.drv
/gnu/store/2aw6hjagibqgkr9cw95dswrakrxa9303-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/4bs8ydvhn7ppbnzmylya6n4ypcdq04dj-glibc-utf8-locales-2.35.drv
/gnu/store/4racn6gg2alaxsw69wd0jkwnqi60r7mc-ocaml-ocplib-endian-1.2.drv
/gnu/store/5ngikb74hv6f19li3y7jhqcrlsf1fns0-diffutils-3.8.drv
/gnu/store/6p2waq0rrp0wvxq8cg22b2ydpi9j0grs-gzip-1.12.drv
/gnu/store/8bzk9vmmvasf60yhih4gn69gvz05yhfy-ocaml-zarith-1.12.drv
/gnu/store/8mswpkzqzbffj0kha178vc1frs3zsbfh-linux-libre-headers-5.15.49.drv
/gnu/store/8s0lzr1x84y253pny5kn04i84d3ym09n-patch-2.7.6.drv
/gnu/store/9c8930igbb8wl7mniw9fr9mqvcl435zg-bzip2-1.0.8.drv
/gnu/store/ac3zi68mfi3v77jfankcyvnzmjvlxlak-glibc-2.35.drv
/gnu/store/bqldz37dpcfbq30s4vmdyjaj2vrn55hz-make-4.3.drv
/gnu/store/cmpyp2ci5sc0bd5zdjylnjrqvk0272cn-xz-5.2.8.drv
/gnu/store/d9k1hh1h1clqxvsl6sllygb4zhwb0byx-sed-4.8.drv
/gnu/store/g7hzc5jqjhd9bdxkm0gqv4s3dx2fa3vp-bash-minimal-5.1.16.drv
/gnu/store/hvas1lc9r55zjk649xc4bwyxvnzr2y7v-ocaml-seq-0.1.drv
/gnu/store/ifhjm77icvr8bbjwg78bbk4v9i6cjvvx-ocaml-ounit2-2.2.6.drv
/gnu/store/iri7cb2xlnkh3nkxqzj113ppckm5ays6-ocaml-csexp-1.5.1.drv
/gnu/store/jmpm4xfgs8ppqqhvn5p6s683761qxrg9-ocaml-mmap-1.2.0.drv
/gnu/store/lrwcg8fmy75qckpcid7vk9a5yqzqppv0-gmp-6.2.1.drv
/gnu/store/lsj1df3n6rrs8zsv28amk9kwpp9diyg8-ocaml-result-1.5.drv
/gnu/store/nsvp3l4fnkb0w2d2w31hc9kk3scy5fxv-guile-3.0.9.drv
/gnu/store/pmrfs8n58h3a81bn2ggqs4d45z622dgq-dune-3.11.0.drv
/gnu/store/pzyhml8vw1dpap276lzg78sddpi4hs1p-grep-3.8.drv
/gnu/store/qbma4x1l52xd1qimxnqy4i64v5lrc7vj-libev-4.33.drv
/gnu/store/r0y2pw97da3ar6phvyn1vacf6gbmfpl2-coq-8.17.1-checkout.drv
/gnu/store/r6mxja9qf3ccfwcj9fpykdpvv7bwl91q-ocaml-4.14.1.drv
/gnu/store/r9ynip6yn0hzyd0dhb91m0j0fj8wsy85-findutils-4.9.0.drv
/gnu/store/rkdvi1qzya8ppk3zx9iaq32w3bin7y21-dune-configurator-3.11.0.drv
/gnu/store/vqd1v74ji9wgqzymms9cvb47cg705x3b-gcc-11.3.0.drv
/gnu/store/vwwfbphgqd2pwnpx29lqjpi8nrmiyxc6-which-2.21.drv
/gnu/store/w019h73krryasi9k23zn2bfh31n87cp8-binutils-2.38.drv
/gnu/store/w8lzf8nrfy2jv80pin7jdhy33243z3m2-module-import-compiled.drv
/gnu/store/wbxg3pxvvxjr1x63jlxg7vr6wv0yir16-coreutils-9.1.drv
/gnu/store/x8yhmibfc5j1xzrr05svbfxnmma1jiib-ld-wrapper-0.drv
/gnu/store/yzcwdgvprdsqf1p2x48ks41rd06r6zdv-gawk-5.2.1.drv
/gnu/store/zcwl8y4yqinjxcb48hv5fpjm9k2wlfwi-ocaml-findlib-1.9.5.drv
/gnu/store/zznwy4aapjg5qvh06hixdnk54dwn79j3-tar-1.34.drv

Derivation details

Builder/gnu/store/27kcqx14b8vhrihv9k2f5dhx64sii12w-guile-3.0.9/bin/guile
Systemriscv64-linux

Build status

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

Outputs

File name
/gnu/store/4v4avqjhdbpm4r6dm8l9m36l99jibna3-coq-8.17.1