Size | Urls | 11894784 |
|
---|
StorePath: /gnu/store/kijiw2yh8vgrmdkkrbn1kx936mwmjs9f-coq-interval-4.3.0 URL: nar/lzip/kijiw2yh8vgrmdkkrbn1kx936mwmjs9f-coq-interval-4.3.0 Compression: lzip FileSize: 3862350 NarHash: sha256:038232f3442b87l6kv2vhzj4rcjxvjmmfwpbszwi34snqb1p0ar1 NarSize: 11894784 References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31 System: i686-linux Deriver: myaj3rb8lgm45687wywknmc0nlx8i7vg-coq-interval-4.3.0.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjRTg1ODNCNzQ2QzVBRjlBQjE0OEI2Q0FCQkVGQjBBRjIwRDA4NkNEQzMwQjQ5NzQ1MjBEMTM4ODBGNzM3M0JENSMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDEyNjhEREEzMEU0MzZCNUVENDA5ODUyRDcyOTVEODFGQ0E2MDIzMTc4NUJDODMxODEyQTVFQTBGMTI2MjRDNCMpCiAgIChzICMwQzRCODMyRDA0RDM0RjkwNDNFODc3RDg1RDIzRDY1MUI5MTJCQTFDRjJEMzhGRjNDQkVGQkY5OTZGNTZCOTczIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==
StorePath: /gnu/store/kijiw2yh8vgrmdkkrbn1kx936mwmjs9f-coq-interval-4.3.0 URL: nar/gzip/kijiw2yh8vgrmdkkrbn1kx936mwmjs9f-coq-interval-4.3.0 Compression: gzip FileSize: 6312623 URL: nar/lzip/kijiw2yh8vgrmdkkrbn1kx936mwmjs9f-coq-interval-4.3.0 Compression: lzip FileSize: 3862350 URL: nar/zstd/kijiw2yh8vgrmdkkrbn1kx936mwmjs9f-coq-interval-4.3.0 Compression: zstd FileSize: 4637683 NarHash: sha256:038232f3442b87l6kv2vhzj4rcjxvjmmfwpbszwi34snqb1p0ar1 NarSize: 11894784 References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31 System: i686-linux Deriver: myaj3rb8lgm45687wywknmc0nlx8i7vg-coq-interval-4.3.0.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjOUQyQjhCRjVGNEVFREEyMDRGQTAwNjkzQUJDMzE5MzY0MUZGQTgyQkIzOUYyRTE5MjBEQjgwNEE4RDVBODdGOSMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDNDMTUwMzRCNkQ0NTdERjVFMEIwRTZBQTM3NzkwMjcxMjU1NUVERTIxREVCQjgxNDI5OTFBQTI5MzM5M0VCOCMpCiAgIChzICMwQ0YwNjQzQTk2MTlCNkM1REEwRkJDRUUyMUMzODc4RTUyQ0JDN0IxOEUxOTU0NDc5QzY3MUY2NTM1NzJDNkREIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==