/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-
coq-8.13.2
Nars
View narinfo details
View JSON
1i0l4zdsyvkf5jnli42zyy0jji2l4xl2qhx9n26q0x60ap69599d
Size
Urls
597751232
Size: 121573651 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2
Version
1
Host name
bayfront
07alwrrddf6ysy63fnql4anarharz33qkjml8awgw6b04x5bbxai
Size
Urls
597751248
Size: 217427937 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2
Size: 121601279 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2
Size: 167251820 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/alqjwvlzppnzd4vbmr1drp62mh4327ym-
coq-8.13.2.drv
Derivation:
/gnu/store/gda8nm1zp82pm2y6w403j70qzggxr868-
coq-8.13.2.drv
Derivation:
/gnu/store/zzz9ah95kn19wbvymwlki02hgicjp3lv-
coq-8.13.2.drv
Derivation:
/gnu/store/np7mx97x71fwxhm0mwjfvrmy8n0c8lj7-
coq-8.13.2.drv