/gnu/store/bi1nh4rjg5ck74imhrmdzgvib67xajk4-coq-stdlib-8.14.0

Nars

Size	Urls
63620376	Size: 30072947 Compression: gzip https://ci.guix.gnu.org/nar/gzip/bi1nh4rjg5ck74imhrmdzgvib67xajk4-coq-stdlib-8.14.0 Size: 18468314 Compression: lzip https://ci.guix.gnu.org/nar/lzip/bi1nh4rjg5ck74imhrmdzgvib67xajk4-coq-stdlib-8.14.0 Size: 22463735 Compression: zstd https://ci.guix.gnu.org/nar/zstd/bi1nh4rjg5ck74imhrmdzgvib67xajk4-coq-stdlib-8.14.0	Version 1 Host name berlin.guix.gnu.org