/gnu/store/9brich9vky6qz9350a6q48402v81qr30-
coq-8.17.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1lr41kwfsss66h37lchbk7icz74yj0p1-
binutils-2.38.drv
/gnu/store/23201bjiyxi0q3fkvd84kc62v1rl0pp0-
xz-5.2.8.drv
/gnu/store/34i09xrz49phnkij2c8k6ps37na6cr74-
make-4.3.drv
/gnu/store/3ds56xg6njpw6hnp2w4xpx4psw5mka5q-
glibc-2.35.drv
/gnu/store/3gd3sywdw8achi7k5xcrigg7nqmx2ygv-
ocaml-mmap-1.2.0.drv
/gnu/store/3nk2iml8bzn9bx1cfkjkc0625mrdx7vf-
patch-2.7.6.drv
/gnu/store/4220x2mav9gr6m2hvnnz6fyvgdin5hjq-
linux-libre-headers-5.15.49.drv
/gnu/store/4kjp42vhi9j4snrm4w7liqwjf1260cma-
gzip-1.12.drv
/gnu/store/50a44myd0qvqf9v2rpwqckipsrlmn9ag-
diffutils-3.8.drv
/gnu/store/5si9w0p85yc9ap72mjsyla9j5nxkkmqj-
module-import-compiled.drv
/gnu/store/7fsz44vifdc0ws0amnpwnmig3ra6hb53-
gcc-11.3.0.drv
/gnu/store/7y1ss1s1vg1n6yi18b614cywg3fyvdv5-
dune-3.11.0.drv
/gnu/store/82f7nr1h69vb3mz34sjdzqlbi30iw56y-
grep-3.8.drv
/gnu/store/95b5mxc38mqwip4k31dzwk9s1jks3znk-
ocaml-findlib-1.9.5.drv
/gnu/store/96sj95ag84685npy7slzjf7smgvgbvwr-
coq-8.17.1-checkout.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-
guile-3.0.9.drv
/gnu/store/bpk1w1a6jv0hhgs5hz5amwgcn1sw3pmy-
ocaml-lwt-5.6.1.drv
/gnu/store/brz2nqfqd6f0nn9cxvmsj4p19hy469gg-
ocaml-result-1.5.drv
/gnu/store/c2gx2yn0mjl8ig88p419s61lkamag58j-
ocaml-bigarray-compat-1.1.0.drv
/gnu/store/dnm4pkbz0wjnf5mhqfnaazqv298xw31z-
ocaml-seq-0.1.drv
/gnu/store/fc83kzqb5ry2f6bdlch1xhp3fkpiwc9p-
bzip2-1.0.8.drv
/gnu/store/fjl12xhk3890f3m2r2pz232akpi8ii1v-
libev-4.33.drv
/gnu/store/fp6amgwh06xj8jmi7vfv99qkybsacxh3-
ocaml-ocplib-endian-1.2.drv
/gnu/store/gabi1mjsw981bpyj636flilr5pxqi78c-
file-5.44.drv
/gnu/store/h0qsnaib5mj0m5p4lrcl8wng4hmdazz4-
gmp-6.2.1.drv
/gnu/store/h1ybqwg18by6qmyp4m4dbz9hlcpg2553-
tar-1.34.drv
/gnu/store/iqvs6zqp707h22da63jj3a36g61kk82q-
ocaml-4.14.1.drv
/gnu/store/ivfqnmrbn3z9n0lhyrffqmzwqa65q295-
coreutils-9.1.drv
/gnu/store/lrg12d94bav21v85mmspx3xlld13l3kc-
ocaml-stdlib-shims-0.3.0.drv
/gnu/store/mcfkl3gw291fym5c2yg2bighzv1naqa4-
ocaml-ounit2-2.2.6.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-
glibc-utf8-locales-2.35.drv
/gnu/store/p9igblxhxmkl97ffld4y82z0p7v9ajd2-
sed-4.8.drv
/gnu/store/pwzwbc49435kq89jb3mfk09j4dn1b4rw-
ld-wrapper-0.drv
/gnu/store/q4wbrxsapqv7mn677a922vwylwk2v5if-
which-2.21.drv
/gnu/store/r1sjrj2z2hn1s1ab7iqydk4vhc655gv8-
bash-minimal-5.1.16.drv
/gnu/store/r4r2cvimqzwdl5n523zfgjq23c7pm3bj-
findutils-4.9.0.drv
/gnu/store/rhf97d9qh3rx1ci8vbfckdm1c0r2p11s-
ocaml-csexp-1.5.1.drv
/gnu/store/rpxwpdlndvx41ia8a4zqpjssvpzchaj4-
gawk-5.2.1.drv
/gnu/store/wr89ys2s8985hikhdx96c2zla19q4qg0-
ocaml-zarith-1.12.drv
/gnu/store/zfvkmkdp9gb5s5zzdjb86vy7kfnsc0w4-
dune-configurator-3.11.0.drv
Derivation details
Builder
/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-
guile-3.0.9
/bin/guile
System
x86_64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-
coq-8.17.1