2 Commits

Author	SHA1	Message	Date
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
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