Tue, 28 Jan 2025 19:57:29 UTC | login

Information for RPM vim-syntastic-coq-3.8.0-10.fc27.noarch.rpm

ID56244
Namevim-syntastic-coq
Version3.8.0
Release10.fc27
Epoch
Archnoarch
SummaryA syntax checker for coq programming language
DescriptionAllows checking coq sources files.
Build Time2017-07-28 05:27:19 GMT
Size12.56 KB
bef730c0b9a7a909693339145dcb8787
LicenseWTFPL
Provides
syntastic-coq = 3.8.0-10.fc27
vim-syntastic-coq = 3.8.0-10.fc27
Obsoletes
syntastic-coq < 3.7.0-6
Conflicts No Conflicts
Requires
coq
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
vim-syntastic = 3.8.0-10.fc27
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/share/licenses/vim-syntastic-coq4.00 KB
/usr/share/licenses/vim-syntastic-coq/LICENCE474.00 B
/usr/share/vim/vimfiles/syntax_checkers/coq4.00 KB
/usr/share/vim/vimfiles/syntax_checkers/coq/coqtop.vim1.33 KB
Component of No Buildroots