wyj/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2025-04-10 12:08:43 -04:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
guru/dev-util/coq-lsp
History
Hiroki Tokunaga 07b42b3490
dev-util/coq-lsp: Use * to specify the deps version 
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
2024-07-22 18:24:31 +09:00
..
coq-lsp-0.1.9.ebuild
dev-util/coq-lsp: Use * to specify the deps version
2024-07-22 18:24:31 +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