Sophie

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

distrib > Fedora > 19 > i386 > by-pkgid > 3e76e89182f80b6e8eb1294fe2b2a0d1 > files

syntastic-coq-2.3.0-13.20130611gitda70025.fc19.noarch.rpm

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

Files

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