0rb8c7li3ws2iarylpmpcrf0rmag7scgc202mi5ayvh4yfiv2ka7

SizeUrls
5092096
Version
1
Host name
bayfront
data
( data
( flags rfc6979 )
( hash sha256eafa9a73324bd64375a4099d7c63e95c23bef4c05438fe8f446ad8c7715c32d4 )
)
sig_val
( sig-val
( ecdsa
( r 04beb088a7fff3ac8b42b56f67311a2af297c46d68ac83404824cf79c9c332af )
( s 0eccd60cde8d949c290d22d734b1f74584aa1694ab356d52316b1d5832692611 )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 7d602902d3a2dbb83f8a0fb98602a754c5493b0b778c8d1dd4e0f41de14de34f )
)
)
StorePath: /gnu/store/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
URL: nar/lzip/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Compression: lzip
FileSize: 1070638
NarHash: sha256:0rb8c7li3ws2iarylpmpcrf0rmag7scgc202mi5ayvh4yfiv2ka7
NarSize: 5092096
References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31
System: i686-linux
Deriver: y3dka5javcmwwzlrwjfc20zhc4bcn81y-coq-equations-1.2.4.drv

Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjRUFGQTlBNzMzMjRCRDY0Mzc1QTQwOTlEN0M2M0U5NUMyM0JFRjRDMDU0MzhGRThGNDQ2QUQ4Qzc3MTVDMzJENCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDRCRUIwODhBN0ZGRjNBQzhCNDJCNTZGNjczMTFBMkFGMjk3QzQ2RDY4QUM4MzQwNDgyNENGNzlDOUMzMzJBRiMpCiAgIChzICMwRUNDRDYwQ0RFOEQ5NDlDMjkwRDIyRDczNEIxRjc0NTg0QUExNjk0QUIzNTZENTIzMTZCMUQ1ODMyNjkyNjExIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==
Version
1
Host name
berlin.guix.gnu.org
data
( data
( flags rfc6979 )
( hash sha256df436eb2161011dc9433c6432908dd067ce00565935dd32365b6a889aa9201d4 )
)
sig_val
( sig-val
( ecdsa
( r 045ab0248623f597d4e0c24959d495f7b653a4b8a58e42c58f4331c848558777 )
( s 0a9c385c52d3847f0bfc8426d4d842bb4635c1a976d44c8fcf138af57b03cb65 )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 8d156f295d24b0d9a86fa5741a840ff2d24f60f7b6c4134814ad55625971b394 )
)
)
StorePath: /gnu/store/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
URL: nar/gzip/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Compression: gzip
FileSize: 1613351
URL: nar/lzip/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Compression: lzip
FileSize: 1070638
URL: nar/zstd/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Compression: zstd
FileSize: 1269431
NarHash: sha256:0rb8c7li3ws2iarylpmpcrf0rmag7scgc202mi5ayvh4yfiv2ka7
NarSize: 5092096
References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31
System: i686-linux
Deriver: y3dka5javcmwwzlrwjfc20zhc4bcn81y-coq-equations-1.2.4.drv

Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjREY0MzZFQjIxNjEwMTFEQzk0MzNDNjQzMjkwOEREMDY3Q0UwMDU2NTkzNUREMzIzNjVCNkE4ODlBQTkyMDFENCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDQ1QUIwMjQ4NjIzRjU5N0Q0RTBDMjQ5NTlENDk1RjdCNjUzQTRCOEE1OEU0MkM1OEY0MzMxQzg0ODU1ODc3NyMpCiAgIChzICMwQTlDMzg1QzUyRDM4NDdGMEJGQzg0MjZENEQ4NDJCQjQ2MzVDMUE5NzZENDRDOEZDRjEzOEFGNTdCMDNDQjY1IykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==