wyj/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2025-04-20 00:08:58 -04:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
guru/dev-util/coq-lsp
History
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
..
coq-lsp-0.1.9.ebuild
dev-util/coq-lsp: new package, add 0.1.9
2024-07-16 12:11:12 +09:00
Manifest
dev-util/coq-lsp: new package, add 0.1.9
2024-07-16 12:11:12 +09:00
metadata.xml
dev-util/coq-lsp: new package, add 0.1.9
2024-07-16 12:11:12 +09:00