8|dev-util/coq-lsp|coq-lsp-0.1.9.ebuild|~amd64|tokusan441@gmail.com