0555719vwiacgrn5ymj0wzb41zffh2fcilzjn3dasj5il8dq9nrw

SizeUrls
67650992
Version
1
Host name
bayfront
data
( data
( flags rfc6979 )
( hash sha25675ac26adaa0537fb66a5b7d4d177c360e4b293e8bbdf26a87d69277a6e18dfea )
)
sig_val
( sig-val
( ecdsa
( r 0c234480a2f1bed963f035ff8710d2c7342f8231bbf38230844200057c725512 )
( s 09d59ea9421bdd56032665d1fba2a84ee54f4f04bcb07f4ef62bb611f2451aea )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 7d602902d3a2dbb83f8a0fb98602a754c5493b0b778c8d1dd4e0f41de14de34f )
)
)
StorePath: /gnu/store/bvi8gzdnjaqg7a3sb8a3xchslg53l8n4-coq-ide-server-8.13.2
URL: nar/lzip/bvi8gzdnjaqg7a3sb8a3xchslg53l8n4-coq-ide-server-8.13.2
Compression: lzip
FileSize: 17029154
NarHash: sha256:0555719vwiacgrn5ymj0wzb41zffh2fcilzjn3dasj5il8dq9nrw
NarSize: 67650992
References: 1527570cy2g7ld4wppmh3skvi27kvm43-gcc-7.5.0-lib 8lx4cgr2wfkqhfllaxmb8d9yj0x37baw-gmp-6.2.0 hbav4p8v5jq040pn8ylig7l070z2244r-coq-8.13.2 kgybw8l3yw9ynp31gc4rrcyahz7z80cp-ocaml-findlib-1.8.1 ljvlp2gxx1l49cdw5mh1ydl7336509xy-ocaml-4.11.1 v1g7f3p4f0851mywrla8qmr9hb8jgfjr-bash-minimal-5.0.16 z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31
System: i686-linux
Deriver: 1vdwr94sjfglk1yvi78yvhx6vl5f7qya-coq-ide-server-8.13.2.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjNzVBQzI2QURBQTA1MzdGQjY2QTVCN0Q0RDE3N0MzNjBFNEIyOTNFOEJCREYyNkE4N0Q2OTI3N0E2RTE4REZFQSMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMEMyMzQ0ODBBMkYxQkVEOTYzRjAzNUZGODcxMEQyQzczNDJGODIzMUJCRjM4MjMwODQ0MjAwMDU3QzcyNTUxMiMpCiAgIChzICMwOUQ1OUVBOTQyMUJERDU2MDMyNjY1RDFGQkEyQTg0RUU1NEY0RjA0QkNCMDdGNEVGNjJCQjYxMUYyNDUxQUVBIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==