gpo.zugaina.org

Search Portage & Overlays:

dev-util/coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

Screenshots

  • coq-lsp-0.1.9
    ~amd64
    ocamlopt test

    View      Download      Browse     License: LGPL-2.1   
    Overlay: guru

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.