1s2dd5qmx3mrs4gad1i4vga0g5w9bal2scn71kaygknbff2wcbsv

SizeUrls
554376352
Version
1
Host name
bayfront
data
( data
( flags rfc6979 )
( hash sha256ed982deda0f236aaea38536da9232fe2a85c05cf8bc83c4bc79af8b85e7668d2 )
)
sig_val
( sig-val
( ecdsa
( r 0904e9f85d2780b1c287d62941896d317fb0621c126e310c4d3306fea83db187 )
( s 0a9dd48b6272da757627dc71c5314b3e3f5eff3c63ca4e5b0c95e1ff0a4f12b0 )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 7d602902d3a2dbb83f8a0fb98602a754c5493b0b778c8d1dd4e0f41de14de34f )
)
)
StorePath: /gnu/store/002giwgi020ix10qyasm3rv2m54kkybb-coq-core-8.14.1
URL: nar/lzip/002giwgi020ix10qyasm3rv2m54kkybb-coq-core-8.14.1
Compression: lzip
FileSize: 106801241
NarHash: sha256:1s2dd5qmx3mrs4gad1i4vga0g5w9bal2scn71kaygknbff2wcbsv
NarSize: 554376352
References: 3jr84ajdz821y480c454pqrswxbhgzlq-glibc-2.33 61zs05s5pv8nlhabq9wvncvrjdlkczdi-ocaml-findlib-1.9.1 k18wa23ilb3dwkkaknvx476rwpzb11p5-ocaml-4.13.1 l0hnwrv8ma03shjg84a03s05wmj7a0sk-gcc-10.3.0-lib pk5s6y168w26xgh3ny2ji27vzq3r3f5g-gmp-6.2.1 r7fs2zhzy8839mr3rmkxg68bwzaf9b9s-bash-minimal-5.1.8 w01nqrig8ajyjmwq3k3wlydgdxwry8w0-ocaml-zarith-1.12
System: powerpc64le-linux
Deriver: 4cxjsn3ksgbfw00lsc8nsmr2d465r340-coq-core-8.14.1.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjRUQ5ODJERURBMEYyMzZBQUVBMzg1MzZEQTkyMzJGRTJBODVDMDVDRjhCQzgzQzRCQzc5QUY4Qjg1RTc2NjhEMiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDkwNEU5Rjg1RDI3ODBCMUMyODdENjI5NDE4OTZEMzE3RkIwNjIxQzEyNkUzMTBDNEQzMzA2RkVBODNEQjE4NyMpCiAgIChzICMwQTlERDQ4QjYyNzJEQTc1NzYyN0RDNzFDNTMxNEIzRTNGNUVGRjNDNjNDQTRFNUIwQzk1RTFGRjBBNEYxMkIwIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==