StorePath: /gnu/store/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
URL: nar/gzip/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Compression: gzip
FileSize: 29482345
URL: nar/lzip/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Compression: lzip
FileSize: 18145167
URL: nar/zstd/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Compression: zstd
FileSize: 21894631
NarHash: sha256:0msyxdm50c7brqm0klj4a8nwnwhvb614kch7bv66hjgzq4f67px5
NarSize: 62468720
References: lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Deriver: qlxwdhxbadb5drh6m85kygrxcpf9zk2b-coq-stdlib-8.15.1.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjREY5MTczNzJEMjkxMjBDNDU5OUUxNzREQUMwNTUyNjIzRjcwRDFBNDQ2RjM2QkYwMUU4NzA3MkEwQzQ5NUExNyMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDZEQ0JDMkYxNUVFRUUyNDQxODQ1MUUxNkUzRDI0NjVFQ0E5OTg5OEE4OUY1Qjg4MjM1ODE3MDNEODhGRTk3MiMpCiAgIChzICMwQjRFRUQyRDAxQzcxOENFMEFGMDA5NzFBNTAxQkE4MDVDQkE5MzRGNjZFMkRFQzAwNEM4RDZCMjlDRTdGOThGIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==