| Type | DIST |
|---|---|
| File | coq-9.0.0.tar.gz |
| Size | 6305764 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 01e84c75f55f1dc6ff7706bc3e9454da268bcee88b0123334644aefcfa102b349d5196d0b215d6acae65e5066d187e17d74d6768d3790c78f1534972cebf06fb |
| SHA512 | f4f76a6a178e421c99ee7a331a2fd97a06e9c5d0168d7e60c44e3820d8e1a124370ea104ad90c7f87a9a1e9d87b2d0d7d2d387c998feeaed4a75ed04e176a4be |