/gnu/store/fplm9piqxsqjdxnb0lws0xnkb4rfbji1-coq-core-8.15.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/03dfkn0777g84j1hapdsz8lbp9l2s9dh-module-import-compiled.drv
/gnu/store/0kvnpvgiz3xdmw2abfbnix4ri7ys5njl-ocaml-findlib-1.9.3.drv
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drv
/gnu/store/0x36fhjq37hsbqzqcwvry2mg7c17pfrx-diffutils-3.8.drv
/gnu/store/11nb460g2vfld6lcin79klxgw236j0ng-gawk-5.1.0.drv
/gnu/store/1zvqrisf2nd1zi4vqazcpy1js8wfczxa-libev-4.33.drv
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drv
/gnu/store/31i5c2r5cq4vbj5bwc258ywyq9q42isy-ocaml-mmap-1.2.0.drv
/gnu/store/38wmcasx40xwkfksqyvyb998b5yk62wx-findutils-4.8.0.drv
/gnu/store/5fjl7n4q25rwmmvg00r0mn4p1n8zg5da-ld-wrapper-0.drv
/gnu/store/7f2ixz7dwaqd40an74qz3212ayiqgafy-xz-5.2.5.drv
/gnu/store/7mmbq6sw4a0fhb5kkhdp2rgakrm7m8xz-patch-2.7.6.drv
/gnu/store/7wnn71l4pr6cx4f90cfwfvh7ndcbf33d-ocaml-csexp-1.5.1.drv
/gnu/store/9crd20k3zwz0ncr3q802p6j0daygbch5-ocaml-seq-0.1.drv
/gnu/store/9hhfqa7g0xbrqknx9ly8z3p6xijp7f06-ocaml-ocplib-endian-1.2.drv
/gnu/store/9pdilc53rzmyn11mffblc95kf8ibvh8b-ocaml-ounit2-2.2.6.drv
/gnu/store/9sjy1hgvjvh48p99xrid6q13jvdia6r2-glibc-utf8-locales-2.33.drv
/gnu/store/a70sx9lxaxr4c5nvdl454b77dimjgdcm-coq-core-8.15.1-checkout.drv
/gnu/store/ch3c9gh24z2vl3m223mvindn52yrg0d7-dune-configurator-3.1.1.drv
/gnu/store/cwf48rq3b5klf1kcjrv4hfnl6qkz6zh2-bash-minimal-5.1.8.drv
/gnu/store/gmidhy7rcfssj77pfzb30gg7zmz3hp14-ocaml-result-1.5.drv
/gnu/store/ib5a3nm1p7sxgwmm9haj2dzwaypzm7k8-which-2.21.drv
/gnu/store/ib99yg1g08wmbkbp8y796vfrvgn2qk37-gmp-6.2.1.drv
/gnu/store/igdh3bg2z3gj1h34nr8sxyas3yw9gdyk-ocaml-lwt-5.5.0.drv
/gnu/store/j3dnq7hhkklm1mn2smb4bn9763zpjcyz-sed-4.8.drv
/gnu/store/j8sqnli167nm77hdkfshabn09pbjr72a-dune-3.1.1.drv
/gnu/store/jmafzrhwz30br18hisqnl8x0cg622xxj-glibc-2.33.drv
/gnu/store/mxqcabr2jhza6ssvlz4pdmhslsmh6qnc-file-5.39.drv
/gnu/store/n0gv2rj54b9l0701gjgf0iwg6aqmcnib-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/n45mkp1kl12h3ll8f9xh72k36bfaymq1-ocaml-4.14.0.drv
/gnu/store/n8nxb8l352r9qaaqh736wbi113kivpv0-make-4.3.drv
/gnu/store/nvb11ifldif3iazh6cxrbv43pvfsz0af-bzip2-1.0.8.drv
/gnu/store/qll2zd1ki5alhmndpggwr62wcyzpddzz-binutils-2.37.drv
/gnu/store/rbm15rrwg9f4099xc02yi8g3i16cqgv1-gcc-10.3.0.drv
/gnu/store/rdx4p3kf5qvqa3h6hd7han846mg46ijx-tar-1.34.drv
/gnu/store/sh0q3k9k89s14c8dc7bvbpdj00jawiqg-ocaml-zarith-1.12.drv
/gnu/store/v4g4h283avgy2d0c9a9i03lfrfc8mhip-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/vc4fhbndllikivb5as8s5m86rxblkpjg-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/x0kv7q0is2dc0ravma73nfzzbljjy8x2-guile-3.0.7.drv
/gnu/store/zijd3l9bh5fpr79pg686gxv4mryq106r-gzip-1.10.drv

Derivation details

Builder/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-guile-3.0.7/bin/guile
Systemi586-gnu

Build status

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

Outputs

File name
/gnu/store/zpc5r72z4maqiy4hv9qzpkc8hbp1ybih-coq-core-8.15.1