| Type | DIST |
|---|---|
| File | coq-lsp-0.1.9.tar.gz |
| Size | 25388271 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 8f1e49bdadfd792b96fda835b906e3b0d72f29eedaa3d4ef3825b1e92de03de2ec451c355adbc5d73a795173119761392cbfba8e9caf3d0de1035b2b3ddce942 |
| SHA512 | d452ae4598204abe8366fb72478e1d554e2a8de03a3ecc471392355a63c4992f41d891ef33cb913b52adba098d470121122d9fae85456eb8ce81204278ae5e18 |