Information for RPM vim-syntastic-coq-3.10.0-22.fc40.noarch.rpm
ID | 1248471 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | vim-syntastic-coq | ||||||||||||
Version | 3.10.0 | ||||||||||||
Release | 22.fc40 | ||||||||||||
Epoch | |||||||||||||
Arch | noarch | ||||||||||||
Summary | A syntax checker for coq programming language | ||||||||||||
Description | Allows checking coq sources files. | ||||||||||||
Build Time | 2024-01-27 07:59:34 GMT | ||||||||||||
Size | 9.30 KB | ||||||||||||
c86352169039dac99b7c74e5ea94ae60 | |||||||||||||
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 |