/gnu/store/2d1acx46br8wa2r2n6211dx9y3i602k3-
coq-stdlib-8.15.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/03ykfvxjn8fcca36jik6r518d16h85nw-
make-4.3.drv
/gnu/store/1klbpd9scyvfszqi9xhvmc0rmz8wnwvd-
dune-3.4.1.drv
/gnu/store/2a2d0ms4vl5fcdarbqcknnm00v2mffk3-
sed-4.8.drv
/gnu/store/2zqw9m01lm0qlscri66cmlwwpxwn79cb-
guile-3.0.7.drv
/gnu/store/4qh73zhknfn81r2yg0hlqxkmyxa96dxm-
coq-core-8.15.2.drv
/gnu/store/8xi2bqm816cdi2wqq1icb91m5hhhwk7r-
hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/a1rhyxfmgqwpj2slzdhbwxnl7k0dq9p7-
gmp-6.2.1.drv
/gnu/store/afbrrg6qj8iyxa8pam80zkmdm92cxmil-
dune-configurator-3.4.1.drv
/gnu/store/ckh9hp8sl4mz99im618v8shn7ycfpi41-
gawk-5.1.0.drv
/gnu/store/cx9a742km3s0qn2yb7mdjmq6h3rks0gl-
ocaml-csexp-1.5.1.drv
/gnu/store/d3rz7jrxbs50ns8ji8pdswnq11xisbn3-
diffutils-3.8.drv
/gnu/store/d4dq0v1pmcb9hsnww5sa45xn96s2vqxg-
bzip2-1.0.8.drv
/gnu/store/ff595b1xwwa7qhrh7zhpzkf23bs5whbs-
coreutils-8.32.drv
/gnu/store/g5bvvx4kdhqbvr0vxcycl5dgyhcjppxq-
ocaml-zarith-1.12.drv
/gnu/store/l7kas7pd5pcpk0vpz0b15jvf9nhx1fs2-
gcc-10.3.0.drv
/gnu/store/m946jwmq56das328wsfblm3sx1n9gzzk-
file-5.39.drv
/gnu/store/mkfzm0qfxsqy6swxz4cg3cv412nj0inz-
patch-2.7.6.drv
/gnu/store/p4kjycsjrq5vsr0873qwa4rj1d0vwld7-
glibc-2.33.drv
/gnu/store/pf0f867inywl9cgfb27cwps4njhxxd9g-
xz-5.2.5.drv
/gnu/store/qbslxrjlzdsi3sidikv8y2xndladidfw-
binutils-2.37.drv
/gnu/store/qsqgcsk9zb37z6z67sjzp2gm7jwxgnap-
module-import-compiled.drv
/gnu/store/rh68xc41jxp9f3m05hk6kihrxd99ibi4-
bash-minimal-5.1.8.drv
/gnu/store/riqdfg3pcd7h9h63hnc24cygppkpcalr-
coq-core-8.15.2-checkout.drv
/gnu/store/rnvsaqf4pawr3zk9zrywkf72x39186wd-
glibc-utf8-locales-2.33.drv
/gnu/store/srwxri84ahfdik6p0mjp25p2wkparfq9-
gzip-1.10.drv
/gnu/store/ss57zvzp8avkmykx04s7q6r2p9y80fxj-
ocaml-findlib-1.9.3.drv
/gnu/store/w2dcza9abvzh4z1bmzd5gbi69j2lkk7m-
tar-1.34.drv
/gnu/store/x5rjy1z6yj39m70mamfyjwds14hhig5l-
ocaml-result-1.5.drv
/gnu/store/xkn0zxarajlmaycwqhsnkzfd40b66602-
findutils-4.8.0.drv
/gnu/store/y2k80kdi2p0mkgsci6kjjyb9xhkgf1lz-
ocaml-4.14.0.drv
/gnu/store/ya9s1h4kfafd4v5d52rx8s6p5f9jna14-
ld-wrapper-0.drv
/gnu/store/yl2w258h95j1gcz3k21y0llgajy8wd5x-
grep-3.6.drv
Derivation details
Builder
/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-
guile-3.0.7
/bin/guile
System
i586-gnu
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org
Outputs
File name
/gnu/store/620fw9rg3ydjpd63q80fy5xdf9ipa8by-
coq-stdlib-8.15.2