| Type | DIST |
|---|---|
| File | coq-9.1.1.tar.gz |
| Size | 6395021 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 392ea63d6dfbc1404a04fe37fcb26f21321c50bdccf8d626b490d490607ec6c6344a1b0a81d87805ef2b3ded54ab2af6cb4289ea2d8153afe6e79ae8d9125ba6 |
| SHA512 | 18ef7eff168711ad739a6ced49ae3eda1a3ecbc50a0708488ff66e16be44b5208b3db52e9de9b1eff06a977a6ed9d9e2c46d510c98f497d124e6b5cc7c612497 |