/gnu/store/b0ba4ly73ahb6chhmnbdwdvpfcp9gz40-
coq-gappa-1.4.4.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/03m4j9qyr7lq2m3m6sv67hc26lmp6pzy-
glibc-2.31.drv
/gnu/store/1x4fhf06bpr64d74hliq40qdy3wa7rif-
module-import-compiled.drv
/gnu/store/24dx1rrfkvz7d5kn92glrm7icc7sdmzz-
coreutils-8.32.drv
/gnu/store/2xjbmhlsl3myvcns523vkd54yk2xz30b-
coq-8.11.2.drv
/gnu/store/3dz5hpvpwhcrhigc9am5acf4h8vzkm6x-
ocaml-4.11.1.drv
/gnu/store/47qy2f9xj4scc57sm5hpz2nxn1kvnga0-
xz-5.2.4.drv
/gnu/store/5nsx16h6v5kq52jhi89hk6lir8v3y32w-
flex-2.6.4.drv
/gnu/store/68jb6nnckv4jazg2pzdnj5pz9mwy8pl1-
coq-gappa-1.4.4-checkout.drv
/gnu/store/799sb1fzy20kyjby3pli1zkhxydap98v-
gzip-1.10.drv
/gnu/store/8g47imygjjrgkqyxd5ws9awzhlhwp2m3-
binutils-2.34.drv
/gnu/store/8lwalmmxhfr5bjqk2rfzkhax65fpb632-
m4-1.4.18.drv
/gnu/store/8y18iyjr2zywr3cvi4ywcp97qlyc9gb8-
which-2.21.drv
/gnu/store/a75mbkicp5nkabhdhd76bgvv3sl573by-
gcc-7.5.0.drv
/gnu/store/arkrmr7r69bnyg1z19caw4chxg4v01by-
glibc-utf8-locales-2.31.drv
/gnu/store/d2lcg23wz3j13gqvlh0ddypw6msk6pfz-
bison-3.5.3.drv
/gnu/store/iqllla0dmpryfkyhcvmqsn8ykhnqq0jq-
guile-3.0.2.drv
/gnu/store/jc1xr4vpjbxzbyr5980lqcgr3apysrvv-
autoconf-2.69.drv
/gnu/store/jy5l46sgiffi5ml9vnnaklll8idxprq4-
linux-libre-headers-5.4.20.drv
/gnu/store/k3gbwi3b8217ws5nz01jnixr1v2kk4p1-
ld-wrapper-0.drv
/gnu/store/k52rxafnzjdm8m80fi4in2jm3d0v50ac-
sed-4.8.drv
/gnu/store/k9whqjy1glzlhzfzcjqda2gd8zhilgwa-
gawk-5.0.1.drv
/gnu/store/kwjmq1rv4spmyg6dbq7r8w0fqzrm3y3y-
camlp5-7.13.drv
/gnu/store/lf41356551w2gh69r0m15gh20nhmpjck-
boost-1.72.0.drv
/gnu/store/m6m587rfxj308bs52jhwhjrdv40b9yaa-
bzip2-1.0.8.drv
/gnu/store/maqzlq58j8bcnsc58qqgymfvcpwh5b0x-
diffutils-3.7.drv
/gnu/store/n9rqkgqszj91bvskpg2a4pi22dmgsc1b-
bash-minimal-5.0.16.drv
/gnu/store/nrvczv511qpalczjc1abblrzz9x1lga6-
mpfr-4.0.2.drv
/gnu/store/rdjrpy8sll75q4jfbwx7spl5qh6wl0p3-
patch-2.7.6.drv
/gnu/store/rpnbza7rlc4i6sv5kdkg10h4839lfgk2-
coq-flocq-3.3.1.drv
/gnu/store/sd9as0w2qz5zl0pjxpk9wyybhcp6v4q8-
gmp-6.2.0.drv
/gnu/store/wvl2xb7lvk9izgqdimn653pab8c3h7d2-
findutils-4.7.0.drv
/gnu/store/x0xr4azy57j26gzdzrap82h5djn409pi-
automake-1.16.2.drv
/gnu/store/x67j382hrjv8h9j9r0slf1jgvvw3dh1a-
file-5.38.drv
/gnu/store/xagxlqzx53320d7m9viyimhrapzv23m8-
tar-1.32.drv
/gnu/store/zr97la7ilk779qcwfp83s6v4388ps3j2-
grep-3.4.drv
/gnu/store/zrmrm6454fwzir5vhqvkw66g19gz3kif-
make-4.3.drv
Derivation details
Builder
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-
guile-3.0.2
/bin/guile
System
aarch64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/w6sn7a70kf2sqfpyl34vpjk67h2hyhcp-
coq-gappa-1.4.4