Information for RPM vim-syntastic-coq-3.9.0-1.fc29.noarch.rpm
ID | 81377 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | vim-syntastic-coq | ||||||||||||
Version | 3.9.0 | ||||||||||||
Release | 1.fc29 | ||||||||||||
Epoch | |||||||||||||
Arch | noarch | ||||||||||||
Summary | A syntax checker for coq programming language | ||||||||||||
Description | Allows checking coq sources files. | ||||||||||||
Build Time | 2018-04-23 08:49:39 GMT | ||||||||||||
Size | 13.27 KB | ||||||||||||
085909c139cd76f7811041d762b7a97a | |||||||||||||
License | WTFPL | ||||||||||||
Provides |
|
||||||||||||
Obsoletes |
|
||||||||||||
Conflicts | No Conflicts | ||||||||||||
Requires |
|
||||||||||||
Recommends | No Recommends | ||||||||||||
Suggests | No Suggests | ||||||||||||
Supplements | No Supplements | ||||||||||||
Enhances | No Enhances | ||||||||||||
Files |
|
||||||||||||
Component of | No Buildroots |