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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0zh3mq3w0gp3a3wp2f05qljxlfzmgfv1-tar-1.34.drv
/gnu/store/1izb4l9iim29gsv9awk50pm7qnv685i3-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/1j074g8zwlk0q10ldshn9azrij4nvn63-guile-3.0.7.drv
/gnu/store/1ngalxwkgz8j4zid3wv7knvxq4qhmvxv-libev-4.33.drv
/gnu/store/1s636xpcqij900hzvylpsfchl7lrgiz5-ocaml-seq-0.1.drv
/gnu/store/22jl31128pgncf2y1ldfrmqg88nbkgfp-gzip-1.10.drv
/gnu/store/2k5j4y4h2xsks60qqny8p5lahvh49wkc-ocaml-findlib-1.9.3.drv
/gnu/store/34jgxlk1q803ywx0j0zmww2cd07hfzrl-ocaml-4.14.0.drv
/gnu/store/41l4kh2qdi0nvyihy9w2bpyjfsigph90-findutils-4.8.0.drv
/gnu/store/4ffr1k5hh2cdadyz5hm2jz2c4cw6r784-bash-minimal-5.1.8.drv
/gnu/store/55vm7059d8a57dyipblq47qsl1rzig4f-xz-5.2.5.drv
/gnu/store/5i0yj8yklg8dgifgxni5162khqnxvqi1-ocaml-csexp-1.5.1.drv
/gnu/store/6a10rzs1hzs5dl8vvhsz4jprr8xs4kr0-coq-core-8.15.1-checkout.drv
/gnu/store/7ps54rms66q5ssraghc358307z5j1hga-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/7rannq37f4dbw2rkpqgsl5c8f4spf3v2-which-2.21.drv
/gnu/store/8hwvbdjj72svm2mpkp31agjpwbkwc7vz-patch-2.7.6.drv
/gnu/store/97jqb7dy54rmh5drkqws00dxmbwf2qnk-bzip2-1.0.8.drv
/gnu/store/af9iwpdcqrfjla1v5dsd8043j9fmf3yz-ocaml-lwt-5.5.0.drv
/gnu/store/alz1n2vppkiv7h9zqngz0qb5ba2cjmp3-binutils-2.37.drv
/gnu/store/dbqjnr5pwdhqaisclah4nk06jnyc86ym-module-import-compiled.drv
/gnu/store/fw4yb42inqicw4pj4bkrxg0mdak5dd9a-ocaml-result-1.5.drv
/gnu/store/g4g4bah8gmmmacmvxm24vkl2ynja4f0c-gawk-5.1.0.drv
/gnu/store/h1b5zhg5xkhsbpk4mlnx2fzgaw59z1xl-linux-libre-headers-5.10.35.drv
/gnu/store/hd01d22lv8wgpl0ncs1jqzhjcy3za40s-ocaml-zarith-1.12.drv
/gnu/store/hpafsm0cib8hxddhw0m54d82z829bg1l-ocaml-ounit2-2.2.6.drv
/gnu/store/if59wdvp6cb4a7xxfq6nc69791gbj4fr-dune-configurator-3.1.1.drv
/gnu/store/ky935dd71yi5zpdss1wpj711py7yv950-ld-wrapper-0.drv
/gnu/store/ky9h72x0wf7wzj95yh0g4bygkj7kaqwa-grep-3.6.drv
/gnu/store/lcwiqvjkfyzqjim3jswm1x4xpjg1myf2-gmp-6.2.1.drv
/gnu/store/q0sd91g96l0dv90zha8w5yib5grz123w-diffutils-3.8.drv
/gnu/store/q19my1djmbfkhr6waq8il4gx6191r9dx-glibc-2.33.drv
/gnu/store/rjk70bsszc197yqvw84apk7pbdwrvz2h-ocaml-mmap-1.2.0.drv
/gnu/store/rld7gpqbq98b4x8bhj3l9lgs7fnkhwlz-coreutils-8.32.drv
/gnu/store/sm3f0p3f0ijibjd335l0wv3j5ygic730-ocaml-ocplib-endian-1.2.drv
/gnu/store/v9a315nmxkzsm4fs24dj2k5ixbig5lrf-glibc-utf8-locales-2.33.drv
/gnu/store/vd0d6dsn8jd0b4xxs88nac2qyalsl1gh-sed-4.8.drv
/gnu/store/vkcj1w1filr5636831jamnazsp2z66k2-file-5.39.drv
/gnu/store/w2jmzqpni31cjfxv2k3d4zibzkmbls50-dune-3.1.1.drv
/gnu/store/x7p8cskdrmqgf0w9iy3y0xl35519w874-gcc-10.3.0.drv
/gnu/store/zdgc946p98186c0cwlw3x40bmd98b9a3-make-4.3.drv

Derivation details

Builder/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-guile-3.0.7/bin/guile
Systempowerpc64le-linux

Build status

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

Outputs

File name
/gnu/store/246v2r91na7yx4y078wgg468n13sxmb6-coq-core-8.15.1