Information for RPM vim-syntastic-coq-3.10.0-16.fc37.noarch.rpm
ID | 868157 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | vim-syntastic-coq | ||||||||||||
Version | 3.10.0 | ||||||||||||
Release | 16.fc37 | ||||||||||||
Epoch | |||||||||||||
Arch | noarch | ||||||||||||
Summary | A syntax checker for coq programming language | ||||||||||||
Description | Allows checking coq sources files. | ||||||||||||
Build Time | 2022-07-23 12:01:06 GMT | ||||||||||||
Size | 9.76 KB | ||||||||||||
51dcb6902a76ae5e510994c227f7e124 | |||||||||||||
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 |