/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-
coq-ide-server-8.17.1.drv
Detail view
Formatted view
Plain view
View 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/czpnbnk27wyp3a3gbpqfkynhlkb95pzr-
coq-8.17.1.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
System
riscv64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/wbvyaii2p2ncpsp5xxmpfyb391d77yp6-
coq-ide-server-8.17.1