mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
70db7d1987653827bd93090e43a7cdc3e3a05e0b
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
…
metadata.xml
…