coq-lsp « dev-util - repo/proj/guru.git - GURU: repository of new packages maintained collaboratively by users

GitWeb

Get Gentoo!

about summary refs log tree commit diff

path: root/dev-util/coq-lsp

Mode	Name	Size
-rw-r--r--	Manifest	308	log plain
-rw-r--r--	coq-lsp-0.1.9.ebuild	754	log plain
-rw-r--r--	metadata.xml	399	log plain