vim-syntastic-coq-3.8.0-8.fc26.noarch.rpm


Advertisement

Description

vim-syntastic-coq - A syntax checker for coq programming language

Distribution: Fedora 26
Repository: Fedora Updates i386
Package name: vim-syntastic-coq
Package version: 3.8.0
Package release: 8.fc26
Package architecture: noarch
Package type: rpm
Installed size: 1.80 KB
Download size: 12.21 KB
Official Mirror: dl.fedoraproject.org
Allows checking coq sources files.

Provides

  • syntastic-coq = 3.8.0-8.fc26
  • vim-syntastic-coq = 3.8.0-8.fc26

Obsoletes

  • syntastic-coq < 3.7.0-6

    Install Howto

    Install the vim-syntastic-coq rpm package:

    # dnf install vim-syntastic-coq

    Files

    • /usr/share/licenses/vim-syntastic-coq/LICENCE
    • /usr/share/vim/vimfiles/syntax_checkers/coq/coqtop.vim

    Changelog

    Advertisement
    Advertisement