/gnu/store/if58lxym9fgkh7n7b4ayd13vk3pn3alf-coq-stdlib-8.15.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/194c8pqpd7b5m63yzz5zywfrb2nx8zjg-glibc-2.33.drv
/gnu/store/1hd0cyblv2igc085cvn8000k3jif7j6d-ocaml-findlib-1.9.3.drv
/gnu/store/2hg6w2rqy0rpx7agv4rn2ll7vb7sbaqf-grep-3.6.drv
/gnu/store/34vrkgk1qnnjg4f4d58ygh230z9g9jjl-gawk-5.1.0.drv
/gnu/store/3hkablb49p9a4gphqb2n75i31xcxdix6-linux-libre-headers-5.10.35.drv
/gnu/store/5qjj1kn6axv4hy8js1m6yi4rf2mk3iwn-tar-1.34.drv
/gnu/store/635qq9qqs0w8rq51spr87az786w1yjai-ocaml-4.14.0.drv
/gnu/store/74lbpp4zs1bs2xm9yv8pkgyb6hvx730p-gmp-6.2.1.drv
/gnu/store/98ppwfpij21py73pr83k6ijkfygwnxrq-coq-core-8.15.2-checkout.drv
/gnu/store/9rabmhmchbmkwr58099c1hllqflwq5r9-binutils-2.37.drv
/gnu/store/aalcliqc1c7hnvqlbpxzsc10grbnl45v-dune-configurator-3.4.1.drv
/gnu/store/ajds7fk3kmzw5lnjjr1fqsa7x91b1xc9-make-4.3.drv
/gnu/store/bwnhl5di3vj27k8ymc7i07djz2iq8ym7-coreutils-8.32.drv
/gnu/store/csl9j8bmm1gyn7vpzzn3z4g2k6d6qh0z-glibc-utf8-locales-2.33.drv
/gnu/store/gl32lmyqvf0vvmapdms2kw12yyxwxj33-gzip-1.10.drv
/gnu/store/gvyzjl7p86xpnr4vqbx6i6hz844xfb6v-ocaml-result-1.5.drv
/gnu/store/hapk20xrhbxikdadp56zglghad24fgv5-file-5.39.drv
/gnu/store/ls6m12pga451ylncp6sbg7rvl1hw6q5j-dune-3.4.1.drv
/gnu/store/m19nc275s2nz1f172mnm7zc2w2zxwhb6-patch-2.7.6.drv
/gnu/store/mj41fkx6x94p0z7g3f7wgaplahmhppfc-ocaml-csexp-1.5.1.drv
/gnu/store/nxlhlkjqs233kncnrg2hd7zwphbwk0ri-guile-3.0.7.drv
/gnu/store/pf36rhaxjp2hp6jl1yyqgx05407hlal0-xz-5.2.5.drv
/gnu/store/qiycpi0sv63db555cp25m0rbdjxidxga-gcc-10.3.0.drv
/gnu/store/szan44yiaz4r68bs868vn52hcg0hyls8-sed-4.8.drv
/gnu/store/vqxi4yfbc55i8mfdd4z2drnmiln67why-ocaml-zarith-1.12.drv
/gnu/store/vw8fa8igldh8nv0mqysynqvyxwcc1dib-bash-minimal-5.1.8.drv
/gnu/store/xdz64q4g62548ig5lar4nhy21pjcfw74-module-import-compiled.drv
/gnu/store/xnzyc5imnf5rpnwjppb19d9qfh7z8gf7-diffutils-3.8.drv
/gnu/store/y3f2c2x70iwk2r62s4i38c90lp8wv0ff-bzip2-1.0.8.drv
/gnu/store/yh1ik1sk8kh3zcrzcf7c38fj32dgg9jw-findutils-4.8.0.drv
/gnu/store/yiqpp1g4p9kkfsk47gvn8ddg0g07zvfl-ld-wrapper-0.drv
/gnu/store/z8i6nzxm7p9aqlrml03sxcjmh4fk1ck1-coq-core-8.15.2.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/h3il4h89j5m7xmjr209y7ks1gbm2460g-coq-stdlib-8.15.2