Information for RPM vim-syntastic-coq-3.9.0-4.fc30.noarch.rpm
ID | 377271 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | vim-syntastic-coq | ||||||||||||
Version | 3.9.0 | ||||||||||||
Release | 4.fc30 | ||||||||||||
Epoch | |||||||||||||
Arch | noarch | ||||||||||||
Summary | A syntax checker for coq programming language | ||||||||||||
Description | Allows checking coq sources files. | ||||||||||||
Build Time | 2019-02-12 12:23:04 GMT | ||||||||||||
Size | 10.08 KB | ||||||||||||
38661f1a20ed26c6421f7f7e7c8efce8 | |||||||||||||
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 |