/gnu/store/28xarzi5yavar5yaf7p0is9zz29bi2kb-
coq-stdlib-8.15.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0m0rv32c291jk5dlp04mcskqvf24mwj0-
grep-3.6.drv
/gnu/store/0zjc1mb65hz4wzg4ivs2h572kb2w9chg-
findutils-4.8.0.drv
/gnu/store/1qzz60szdw4mbm06qvpfwagml0kv6rjl-
coq-core-8.15.2.drv
/gnu/store/2yn9yvhh4w2q52xx0glxmh7xvd9nwg00-
ocaml-4.14.0.drv
/gnu/store/3ixzna6y8fi72y0l1xczxrcjssmj8kbx-
gzip-1.10.drv
/gnu/store/4gs42zzwjbhwnc8rxzrfkysiq678cjyl-
xz-5.2.5.drv
/gnu/store/684af1c8z1qaxq6b9xgxn28cn1j29six-
make-4.3.drv
/gnu/store/7498gdqska34wmy26bxn38r1f5z5cym0-
glibc-2.33.drv
/gnu/store/75nw8h79fjngfkp9n7zn9qgr17d4sdij-
module-import-compiled.drv
/gnu/store/7cmghzcywxc07jjslkd0lzh86kh1h4bk-
ocaml-csexp-1.5.1.drv
/gnu/store/7r7ji89wsblhsw457piqxfkc0pi5231h-
diffutils-3.8.drv
/gnu/store/c12y73yrlrvihxc39jxki0k7lf5xmn68-
glibc-utf8-locales-2.33.drv
/gnu/store/c3hcsbhgaja7hgsi31dv600bzrzy5ab5-
gcc-10.3.0.drv
/gnu/store/f05524bz7zdslmlvr9f55gcm54n4d3ks-
file-5.39.drv
/gnu/store/g1440b34z95pp3z8brnw33vm6655idpm-
ld-wrapper-0.drv
/gnu/store/jpadsr3knlhj3g9gcx00xchy7jwr2ifp-
ocaml-result-1.5.drv
/gnu/store/jr652n9cbh4788sxk2a87whkg89g04yq-
coq-core-8.15.2-checkout.drv
/gnu/store/k2n57jc7qndz1mcgjccd2shsmd06fvyc-
coreutils-8.32.drv
/gnu/store/kq46yhharb792cgl9m7v32x257m787dd-
dune-configurator-3.4.1.drv
/gnu/store/kqqic5ms6yaw0awpv5pid7vfdihzffzr-
bash-minimal-5.1.8.drv
/gnu/store/lg7frr1gxn2ix86cpcgxwk9q87b1spmj-
gawk-5.1.0.drv
/gnu/store/lg7mh8jhbs6xzg5284z9lzrh9852xyym-
tar-1.34.drv
/gnu/store/ljlcxkkl3j0gfgia50gpmd23rdgd56fd-
dune-3.4.1.drv
/gnu/store/my1rlk260fqcg5yvvd5vl21bvgxpvywb-
binutils-2.37.drv
/gnu/store/mzr0npkgrih81f7wxja9iqki4fxvlz40-
linux-libre-headers-5.10.35.drv
/gnu/store/r855v92y9zbsf3rpzss75gx8drsid5p2-
sed-4.8.drv
/gnu/store/rml2lwa8hzxal06606ybbh7bhmdfsncq-
ocaml-zarith-1.12.drv
/gnu/store/vhv2lgdd9hlh7qiii3as2rgng674z28x-
guile-3.0.7.drv
/gnu/store/yl1cx62scaa4mpzpx4awn57w9ml3nr9v-
gmp-6.2.1.drv
/gnu/store/z4lgb6bqm028hm6aa8vw9jsgb8s1bxdv-
bzip2-1.0.8.drv
/gnu/store/zh632xac3y7jc3329w0ccagbxma4hpyd-
patch-2.7.6.drv
/gnu/store/zk2flam2cmfnmc7463yl027b21klbyf3-
ocaml-findlib-1.9.3.drv
Derivation details
Builder
/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-
guile-3.0.7
/bin/guile
System
aarch64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org
Outputs
File name
/gnu/store/9fx1zxn9jgcmpm1rnsra4kyqkzpv9l8h-
coq-stdlib-8.15.2