Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 18 > i386 > by-pkgid > 1b22f94a52186cf256cb6810f54330af > files

syntastic-coq-2.3.0-12.20130611gitda70025.fc18.noarch.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Files

drwxr-xr-x	4096	root	root	/usr/share/vim/vim.vimfiles/syntax_checkers/coq
-rwxr-xr-x	1445	root	root	/usr/share/vim/vim.vimfiles/syntax_checkers/coq/coqtop.vim