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==