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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2aswrjzjakd5ppl25mq3mfd1pv31xscs-ocaml-mmap-1.2.0.drv
/gnu/store/50fa6a9m6lii8j37si2f0im2b1p4kcnn-ocaml-lwt-5.6.1.drv
/gnu/store/56v3wbqlfiian9jgvpvvkvpykbc7fbwn-ocaml-ocplib-endian-1.2.drv
/gnu/store/8j7xb1wsw1z9c1pkchlgd974drcpb4gj-libev-4.33.drv
/gnu/store/a86vjckrsfvlk3pqgfxccz33np46v4dw-ocaml-seq-0.1.drv
/gnu/store/cmsz2k5xsd4n2jjsvn8nwc3xgdn5hp1i-coq-ide-server-8.17.1.drv
/gnu/store/cykzvmn4s3rbb5vfx4cylqy0wzpd4jv5-ocaml-ounit2-2.2.6.drv
/gnu/store/hnzsdz0yr51s67b1d81p2da86n46cs65-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/hxpmzz9cqhxlxh258vnplwq933zr0f76-coq-8.17.1.drv
/gnu/store/q4c6apgqnfxnhpkgxki0ckixrx39rwa0-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/qxan292b1n42hrdfh349xnp0vlfyzzag-module-import-compiled.drv
/gnu/store/rgj19y69rp2assm5vjgjivd21c5d1vnb-ocaml-result-1.5.drv
/gnu/store/z1fza83h2nrk0vdy0lag5clx77nzkjjz-which-2.21.drv
/gnu/store/zarpyyp8accjcrbpvmaq5msjs26djdz1-guile-3.0.9.drv

Derivation details

Builder/gnu/store/ka38dlx1jwwz0q6bfycygxsmzm9a9xk5-guile-3.0.9/bin/guile
Systemi586-gnu

Build status

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

Outputs

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