| Type | DIST |
|---|---|
| File | coq-9.1.0.tar.gz |
| Size | 6394996 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 3dc0cc1584f3c042324ec85eb4b5afd236a9f8391b059d6fc163dea846496bade7e7d2894795d348d44882409d30cb70a7120b47c0b3a1a7e1dc18c048a6f30e |
| SHA512 | 83b5d01e24089e6a377948d811a3fa81d0b17466c18e6011059c9d1bca47624b210c07f590236466711080a2ad2feb55b7b7fd57bb8798a08b11ba729c820d97 |