/gnu/store/shdwbscqc3fpn4h475z1my0scvjr27pi-
coq-for-coqtail-8.17.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-
coq-ide-server-8.17.1.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/4racn6gg2alaxsw69wd0jkwnqi60r7mc-
ocaml-ocplib-endian-1.2.drv
/gnu/store/czpnbnk27wyp3a3gbpqfkynhlkb95pzr-
coq-8.17.1.drv
/gnu/store/hvas1lc9r55zjk649xc4bwyxvnzr2y7v-
ocaml-seq-0.1.drv
/gnu/store/ifhjm77icvr8bbjwg78bbk4v9i6cjvvx-
ocaml-ounit2-2.2.6.drv
/gnu/store/jmpm4xfgs8ppqqhvn5p6s683761qxrg9-
ocaml-mmap-1.2.0.drv
/gnu/store/k3b092fbigbkkvylma8avkas4rmhv4d7-
module-import-compiled.drv
/gnu/store/lsj1df3n6rrs8zsv28amk9kwpp9diyg8-
ocaml-result-1.5.drv
/gnu/store/nsvp3l4fnkb0w2d2w31hc9kk3scy5fxv-
guile-3.0.9.drv
/gnu/store/qbma4x1l52xd1qimxnqy4i64v5lrc7vj-
libev-4.33.drv
/gnu/store/vwwfbphgqd2pwnpx29lqjpi8nrmiyxc6-
which-2.21.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/a0fwsl47asaz8rfxxwg4r7jdlp97ra3i-
coq-for-coqtail-8.17.1