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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0msh2nnjd8s8i2d02jp308vi860a45bv-glibc-2.35.drv
/gnu/store/15lgy3r90xgx7k3h7zr3mfymybwyw4n9-gmp-6.2.1.drv
/gnu/store/2i5yvimla3m7jkzj9xhy0s97ymq1lsdz-ld-wrapper-0.drv
/gnu/store/3b6f4lf8akx4r22m2kq5shr7lxsg6r3r-ocaml-4.14.1.drv
/gnu/store/3m1dqj8vvxll8vvn21y2rcbrc1mig98z-bash-minimal-5.1.16.drv
/gnu/store/49xa73anq8qrjhis332wlg7ihnf8n87k-glibc-utf8-locales-2.35.drv
/gnu/store/4n60irarmjqb62dr8gyxnpmyb33mkyrr-ocaml-ocplib-endian-1.2.drv
/gnu/store/4zsr2cgr99i13sbajv74z10kaw72jrnv-make-4.3.drv
/gnu/store/5384gqjl5vp7gsmqhl7d7v9lfcpvdw6h-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/5vs608fns2p83nib1y95g118h09hbqhk-ocaml-result-1.5.drv
/gnu/store/7pvpcxxlsy9ld2nqmi4l503wbhbssqnd-bzip2-1.0.8.drv
/gnu/store/870zqwm6ax52wlkrbydzrwd77qnwkn43-patch-2.7.6.drv
/gnu/store/8cg9xbj3rplsaxh6c6adsbq3gq3wzcqx-ocaml-zarith-1.12.drv
/gnu/store/8k5gw4ayns06vkk87h7g6jnvx7pqzbb5-tar-1.34.drv
/gnu/store/a7d1x4jblcsiqddqy0jfxwjbb2mvdhj1-dune-configurator-3.11.0.drv
/gnu/store/ancgzayhh56asy51wsz5cadw3nsqdfwq-findutils-4.9.0.drv
/gnu/store/asy71mnlrws1g4arqx7h679yjh6hq7j1-gcc-11.3.0.drv
/gnu/store/dc766j3lk0xayiji16d096s1c8l6446v-which-2.21.drv
/gnu/store/dl9iphzpwl1cz1p7hyb3p66inqr9cf7n-ocaml-mmap-1.2.0.drv
/gnu/store/g0jvllpvzwasjhap7yciakv8dnfnfmbf-sed-4.8.drv
/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv
/gnu/store/gmsdxi0l0d04fgdlxx2kgpar5l9ps95g-gawk-5.2.1.drv
/gnu/store/gn6vdxfb507hf19gr21cj47n56k95fkh-ocaml-seq-0.1.drv
/gnu/store/h3p7r7q1d725gv7m75l2pv30dny8pg6q-guile-3.0.9.drv
/gnu/store/ifhs4zl1hdflxq5ya5ic2hn0ykmldsl7-dune-3.11.0.drv
/gnu/store/jmxj5hj7xq68aj5awzm9jmjx98nb6pvw-gzip-1.12.drv
/gnu/store/k6ncnmg7dvlrd9y6sjk2m4lw1yih1d9r-grep-3.8.drv
/gnu/store/kbylj3qr5llnsl037plgivk6g0nsa1k7-libev-4.33.drv
/gnu/store/kqjynvnlj7w8zqyybmg9kqdvc9bm7kz2-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/kv11m7sxallj9ynnk7ywxdxqc35083ya-linux-libre-headers-5.15.49.drv
/gnu/store/ldgcbz0111f1iwgm7rys5da0vdbrppgg-file-5.44.drv
/gnu/store/m36ykc481kqg01w5lkrayxqqd1sxkkm7-diffutils-3.8.drv
/gnu/store/r1a2ap59yb83pi862fb8f1mx06b1l6gm-ocaml-findlib-1.9.5.drv
/gnu/store/rjm7pckj0i6h81h86g23a62lqj1av7s8-module-import-compiled.drv
/gnu/store/sz86qb9ijbfh09kfamr501abz66c6f51-coreutils-9.1.drv
/gnu/store/vwws3b13zj7fcxd3md9n5ayp76zhzzf0-coq-8.17.1-checkout.drv
/gnu/store/yj6qcgryrdrfid22ravjv8192d40wc9f-ocaml-ounit2-2.2.6.drv
/gnu/store/yskg0k6vbm0s31v0nr6bq3kjk7iga034-xz-5.2.8.drv
/gnu/store/yx51788kbw95rm9my88qql2xbv11alsm-binutils-2.38.drv
/gnu/store/zvj1gg09x8hrmj1sz5gqbqy110m4rprw-ocaml-csexp-1.5.1.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/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1