8|dev-util/coq-lsp|coq-lsp-0.1.9.ebuild|LGPL-2.1|tokusan441@gmail.com