Size | Urls | 5145688 |
|
---|
StorePath: /gnu/store/bx15ckyms41wibb06vg5ws5b9y2v1q7l-coq-equations-1.2.3 URL: nar/lzip/bx15ckyms41wibb06vg5ws5b9y2v1q7l-coq-equations-1.2.3 Compression: lzip FileSize: 1067694 NarHash: sha256:1x1mgx84xg9rk46h5pj9440nmrlb73b3g07kvxh06j3d3v2ss50r NarSize: 5145688 References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31 System: i686-linux Deriver: 9nshkddqdskkyip2kx56f4vy6ccydg9n-coq-equations-1.2.3.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjQkZDMEY4MUM2OUEyNkFCM0REMjVENTM2M0RFMUVFOEJDQTZGQkI5MjAxM0MyMEE0MkFBRkE5OTk4NTg2Q0Y0RCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDM5MDU1RjQ0ODI1QTBEN0IzMDY5MkMyMEMwNjhENkMyNUM0MUFDMTEzRDBFQUU1REFFQUYyN0Q3RUE4M0EyOSMpCiAgIChzICMwRjZDQjVGRTVGOEE4RjRFNjNFNzgxRTc0NkU1RjVEOUVCNUZEN0U2OTUyQzExNTQyQTEyREM1MTYzNTM4OEM0IykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==
StorePath: /gnu/store/bx15ckyms41wibb06vg5ws5b9y2v1q7l-coq-equations-1.2.3 URL: nar/gzip/bx15ckyms41wibb06vg5ws5b9y2v1q7l-coq-equations-1.2.3 Compression: gzip FileSize: 1612571 URL: nar/lzip/bx15ckyms41wibb06vg5ws5b9y2v1q7l-coq-equations-1.2.3 Compression: lzip FileSize: 1067694 URL: nar/zstd/bx15ckyms41wibb06vg5ws5b9y2v1q7l-coq-equations-1.2.3 Compression: zstd FileSize: 1262775 NarHash: sha256:1x1mgx84xg9rk46h5pj9440nmrlb73b3g07kvxh06j3d3v2ss50r NarSize: 5145688 References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31 System: i686-linux Deriver: 9nshkddqdskkyip2kx56f4vy6ccydg9n-coq-equations-1.2.3.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjODY0NzkwNjE2RUY1RkZENEM3NDQ5MEUzMTJBOUEwRDBFNDlDQTZGRkM0RUE3MzRFRUVDMTRBREQyRDQ3REZDQyMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDM3QTdBRkRDNzI1Rjc3RTZENkRCNzA4M0RFNkQwQzVBOTczRTAyOEE0M0UwODQ5RkFEODIzMDA1N0E3QjBDRSMpCiAgIChzICMwNkI4M0JDNkI5MkI1NzkyQ0U1NjVDMUYxN0E3RTQ1QTAwMjlCMzRBQjE3RTZGMDlCQTVDNDkyNkNEQTMyRjRDIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==