Guix Data Service

Nars

Size	Urls
496734976	Size: 192883807 Compression: gzip https://ci.guix.gnu.org/nar/gzip/mfa88qnkhbmnax1mn86k1jf1pwa134rq-coq-core-8.15.1 Size: 106048350 Compression: lzip https://ci.guix.gnu.org/nar/lzip/mfa88qnkhbmnax1mn86k1jf1pwa134rq-coq-core-8.15.1 Size: 148040134 Compression: zstd https://ci.guix.gnu.org/nar/zstd/mfa88qnkhbmnax1mn86k1jf1pwa134rq-coq-core-8.15.1	Version 1 Host name berlin.guix.gnu.org

Size	Urls
496735008	Size: 106042035 Compression: lzip https://bordeaux.guix.gnu.org/nar/lzip/mfa88qnkhbmnax1mn86k1jf1pwa134rq-coq-core-8.15.1	Version 1 Host name bayfront