1x1mgx84xg9rk46h5pj9440nmrlb73b3g07kvxh06j3d3v2ss50r

SizeUrls
5145688
Version
1
Host name
bayfront
data
( data
( flags rfc6979 )
( hash sha256bfc0f81c69a26ab3dd25d5363de1ee8bca6fbb92013c20a42aafa9998586cf4d )
)
sig_val
( sig-val
( ecdsa
( r 039055f44825a0d7b30692c20c068d6c25c41ac113d0eae5daeaf27d7ea83a29 )
( s 0f6cb5fe5f8a8f4e63e781e746e5f5d9eb5fd7e6952c11542a12dc51635388c4 )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 7d602902d3a2dbb83f8a0fb98602a754c5493b0b778c8d1dd4e0f41de14de34f )
)
)
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==
Version
1
Host name
berlin.guix.gnu.org
data
( data
( flags rfc6979 )
( hash sha256864790616ef5ffd4c74490e312a9a0d0e49ca6ffc4ea734eeec14add2d47dfcc )
)
sig_val
( sig-val
( ecdsa
( r 037a7afdc725f77e6d6db7083de6d0c5a973e028a43e0849fad8230057a7b0ce )
( s 06b83bc6b92b5792ce565c1f17a7e45a0029b34ab17e6f09ba5c4926cda32f4c )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 8d156f295d24b0d9a86fa5741a840ff2d24f60f7b6c4134814ad55625971b394 )
)
)
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==