Files
guru/dev-util/coq-lsp/Manifest
Hiroki Tokunaga 878c7516f5 dev-util/coq-lsp: new package, add 0.1.9
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
2024-07-16 12:11:12 +09:00

2 lines
308 B
Plaintext

DIST coq-lsp-0.1.9.tar.gz 25388271 BLAKE2B 8f1e49bdadfd792b96fda835b906e3b0d72f29eedaa3d4ef3825b1e92de03de2ec451c355adbc5d73a795173119761392cbfba8e9caf3d0de1035b2b3ddce942 SHA512 d452ae4598204abe8366fb72478e1d554e2a8de03a3ecc471392355a63c4992f41d891ef33cb913b52adba098d470121122d9fae85456eb8ce81204278ae5e18