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