/gnu/store/8l3pq6rqv48k45xynnf7lrqmk20rsj5k-
coq-stdlib-8.15.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1nc3ywjk7fafsrv81j032nslca0nfvxy-
ld-wrapper-0.drv
/gnu/store/2zxnzwv772xpd1h8kasgxwbgla7g7slv-
module-import-compiled.drv
/gnu/store/39vp39h64h0srgyshfwd9p6113fz4k3k-
diffutils-3.8.drv
/gnu/store/3ggpqnp4143ylkfq9az1qpf8f3f2782n-
gawk-5.1.0.drv
/gnu/store/3vz8xvyrg21cfyyn02217f3bvkrlq0kw-
patch-2.7.6.drv
/gnu/store/42q7hinrxn7r2zy0pz040dpjz5f4b83m-
linux-libre-headers-5.10.35.drv
/gnu/store/706dr725l6kg31xjy2dbcq51lz3b87bh-
bzip2-1.0.8.drv
/gnu/store/79d4naafbnwdjab5zasx0lxbs5cmxl3a-
bash-minimal-5.1.8.drv
/gnu/store/7vij33dl3g4pwmbrdiqb7i1v0nx46n3i-
gcc-10.3.0.drv
/gnu/store/9g4l4vrxv6vwxi68b7jdwglijqji18m8-
ocaml-zarith-1.12.drv
/gnu/store/9jisdygfbz77jf7wdxpq4pggq3chygnc-
dune-configurator-3.4.1.drv
/gnu/store/af8hvn61rl6qm5cz26qp5y3zrq27b6rc-
ocaml-4.14.0.drv
/gnu/store/alfd691m7k4p2z0dkq1c47jr9d6mhvyz-
coreutils-8.32.drv
/gnu/store/askqv4c97yxg835d0ckca4n0bql0pjsv-
guile-3.0.7.drv
/gnu/store/d0acbr14hacakpzcx9zdnk49hy5a67lh-
grep-3.6.drv
/gnu/store/f8wbqrks8w7nw9a5kdydqd76f316hh75-
make-4.3.drv
/gnu/store/fbh5w9ff2zq5zs7v3hvi8ycx8xam4wsj-
glibc-utf8-locales-2.33.drv
/gnu/store/fczq2qx8frmglha8nv9k2i4zzb9qck4w-
ocaml-csexp-1.5.1.drv
/gnu/store/fwvhlbwg07lw9x6a2p8lvv8nwm4fy1ji-
ocaml-findlib-1.9.3.drv
/gnu/store/fypvrh7yd3p4w0kmf8gqz1p58yflaydm-
coq-core-8.15.2-checkout.drv
/gnu/store/ghdbg2ib8sx8fymfgr32srg8xc3r2f5p-
sed-4.8.drv
/gnu/store/ir1qf19wh0n0skmkgvs43k85dz61kdla-
findutils-4.8.0.drv
/gnu/store/lhi2rriabm8pzq3l66k09jxa7xmqm68w-
dune-3.4.1.drv
/gnu/store/nhd3ss2hg0x8rx93xlq3d3734qc6yrxy-
tar-1.34.drv
/gnu/store/py6mn4p22brwfapkh266ichx14h63x5k-
ocaml-result-1.5.drv
/gnu/store/qnj09gmp8gk7ik30b6bjh0g5zl7k7c7s-
file-5.39.drv
/gnu/store/qqx26isqr906si1hqiqbaxsydbbgblv1-
glibc-2.33.drv
/gnu/store/r7dyx1dh48fbr8j2q7dyf7mr9dclacyq-
binutils-2.37.drv
/gnu/store/s5jw5g761pk0r9q2xffqx20pvlf542wx-
gzip-1.10.drv
/gnu/store/vlg7269gd4aqgaha8p3myd73ag8d00nk-
gmp-6.2.1.drv
/gnu/store/w2rjsqbbmd74iird9rgf7avs5lxkynfq-
coq-core-8.15.2.drv
/gnu/store/yd2vbal9bpfcl6zhvfq9a7x8c5vzx60f-
xz-5.2.5.drv
Derivation details
Builder
/gnu/store/rsxyxd2f9jrc6gszbjf3rfzbhwazyrgh-
guile-3.0.7
/bin/guile
System
armhf-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org
Outputs
File name
/gnu/store/6syi0gq560vk2b1r7s802215braqx882-
coq-stdlib-8.15.2