| Type | DIST |
|---|---|
| File | coq-8.19.2.tar.gz |
| Size | 7678311 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 5f9617fbe0127b0c8357c63f331ba3e9fb5a931be9a4a8e8de2e27820a0d986bf99ed9a512740a0f721c742504225ae56e240af893510aa0e449931499d10aab |
| SHA512 | 91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c |