| Type | DIST |
|---|---|
| File | coq-9.2.0.tar.gz |
| Size | 6559931 bytes |
| Type | Value |
|---|---|
| BLAKE2B | d1fde7072389e8aa42b2ddd1509def0e278a61ba7f69fe2196ecccce25247de8d7538b7750f8cda1ab106478c0197e09e6a8613333ecd3fa2f0d9af49ef9d99e |
| SHA512 | bbd768533159920ee0e67c83889f8e50e696631e4fa3869c8fb3b61779e86b0bfe7431dc5062b3c53190d103eab49e519587b73d20d473370d8f1d6853f9d9cd |