Information for RPM vim-syntastic-coq-3.10.0-4.fc32.noarch.rpm
ID | 540017 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | vim-syntastic-coq | ||||||||||||
Version | 3.10.0 | ||||||||||||
Release | 4.fc32 | ||||||||||||
Epoch | |||||||||||||
Arch | noarch | ||||||||||||
Summary | A syntax checker for coq programming language | ||||||||||||
Description | Allows checking coq sources files. | ||||||||||||
Build Time | 2020-01-31 05:43:57 GMT | ||||||||||||
Size | 9.64 KB | ||||||||||||
4ce0b09d7771d0d77636946169bebf6b | |||||||||||||
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 |