| Type | DIST |
|---|---|
| File | coq-mathcomp-1.19.0.tar.gz |
| Size | 1407548 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 733d537736a19a3667a51bbfe0b0c09838670761d8dd33853bfa3f320e29b71ec5703ed7ed752823c3696e7fad97443adb20a56e39fc9ec92b2ef5ae3d41a400 |
| SHA512 | ca2a24679418e551b6c9caee9799b2773ea2fb9986adc01c8e98f078dacb70bac872531f8f91fcf57ac04d8484783fc12589ae50a078f6b38beeb01fba6adbba |