Version
1
Host name
berlin.guix.gnu.org
data
( data
( flags rfc6979 )
( hash sha256903006b863720eaee924f8b2b67c1f4b8883dfb61bf3dd0991d23ef75a992ff3 )
)
sig_val
( sig-val
( ecdsa
( r 06dfa0ac750bf914b812ff29f4d8c8b6f9b5d525165af9a011e8919769726efe )
( s 0407bfc36b09047743f13c3d56da857dcb69ba1cb15b03f40fccfe60604bfc2c )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 8d156f295d24b0d9a86fa5741a840ff2d24f60f7b6c4134814ad55625971b394 )
)
)
StorePath: /gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
URL: nar/gzip/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Compression: gzip
FileSize: 14791489
URL: nar/lzip/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Compression: lzip
FileSize: 7729688
URL: nar/zstd/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Compression: zstd
FileSize: 9419724
NarHash: sha256:1z338lgg0yb470kk3p2i8gk53ric46vkahwgcslq9prlx4ach69f
NarSize: 112009432
References: dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Deriver: wl8dd2pkgfiani9xvg68hl40p1wcavcc-agda-2.6.2.1.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjOTAzMDA2Qjg2MzcyMEVBRUU5MjRGOEIyQjY3QzFGNEI4ODgzREZCNjFCRjNERDA5OTFEMjNFRjc1QTk5MkZGMyMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDZERkEwQUM3NTBCRjkxNEI4MTJGRjI5RjREOEM4QjZGOUI1RDUyNTE2NUFGOUEwMTFFODkxOTc2OTcyNkVGRSMpCiAgIChzICMwNDA3QkZDMzZCMDkwNDc3NDNGMTNDM0Q1NkRBODU3RENCNjlCQTFDQjE1QjAzRjQwRkNDRkU2MDYwNEJGQzJDIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==

1z338lgg0yb470kk3p2i8gk53ric46vkahwgcslq9prlx4ach69f

SizeUrls
112009432
Version
1
Host name
bayfront
data
( data
( flags rfc6979 )
( hash sha256ed86c7486c38eba96b0cc63f80023af6883deba8d9b8968d83c96feaeb75e21b )
)
sig_val
( sig-val
( ecdsa
( r 049142894ddff3d1056e571f825ef7aaa74eb7e614411866311280227d0b8d76 )
( s 0faa911571ae6cf0a1aff255130633ba715f8d569805df21096e549bc539504e )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 7d602902d3a2dbb83f8a0fb98602a754c5493b0b778c8d1dd4e0f41de14de34f )
)
)
StorePath: /gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
URL: nar/lzip/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Compression: lzip
FileSize: 7729688
NarHash: sha256:1z338lgg0yb470kk3p2i8gk53ric46vkahwgcslq9prlx4ach69f
NarSize: 112009432
References: dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
System: x86_64-linux
Deriver: wl8dd2pkgfiani9xvg68hl40p1wcavcc-agda-2.6.2.1.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjRUQ4NkM3NDg2QzM4RUJBOTZCMENDNjNGODAwMjNBRjY4ODNERUJBOEQ5Qjg5NjhEODNDOTZGRUFFQjc1RTIxQiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDQ5MTQyODk0RERGRjNEMTA1NkU1NzFGODI1RUY3QUFBNzRFQjdFNjE0NDExODY2MzExMjgwMjI3RDBCOEQ3NiMpCiAgIChzICMwRkFBOTExNTcxQUU2Q0YwQTFBRkYyNTUxMzA2MzNCQTcxNUY4RDU2OTgwNURGMjEwOTZFNTQ5QkM1Mzk1MDRFIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==