/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-coq-for-coqtail-8.17.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4n60irarmjqb62dr8gyxnpmyb33mkyrr-ocaml-ocplib-endian-1.2.drv
/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv
/gnu/store/5384gqjl5vp7gsmqhl7d7v9lfcpvdw6h-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/5vs608fns2p83nib1y95g118h09hbqhk-ocaml-result-1.5.drv
/gnu/store/dc766j3lk0xayiji16d096s1c8l6446v-which-2.21.drv
/gnu/store/dl9iphzpwl1cz1p7hyb3p66inqr9cf7n-ocaml-mmap-1.2.0.drv
/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-coq-8.17.1.drv
/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv
/gnu/store/gn6vdxfb507hf19gr21cj47n56k95fkh-ocaml-seq-0.1.drv
/gnu/store/h3p7r7q1d725gv7m75l2pv30dny8pg6q-guile-3.0.9.drv
/gnu/store/kbylj3qr5llnsl037plgivk6g0nsa1k7-libev-4.33.drv
/gnu/store/kqjynvnlj7w8zqyybmg9kqdvc9bm7kz2-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/ma2has3gv6qmnac0qcywg0j5vn79ka9v-module-import-compiled.drv
/gnu/store/yj6qcgryrdrfid22ravjv8192d40wc9f-ocaml-ounit2-2.2.6.drv

Derivation details

Builder/gnu/store/33nvcq7kmv79i1lrf89qq5ill0bmcq7n-guile-3.0.9/bin/guile
Systemi686-linux

Build status

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

Outputs

File name
/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1