fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM vim-syntastic-coq-3.10.0-23.fc41.noarch.rpm

ID413184
Buildvim-syntastic-3.10.0-23.fc41
Namevim-syntastic-coq
Version3.10.0
Release23.fc41
Epoch
Archnoarch
DraftFalse
SummaryA syntax checker for coq programming language
DescriptionAllows checking coq sources files.
Build Time2024-10-19 15:44:54 GMT
Size9.25 KB
66711c9252819a3f4435c0dd49fb7dec
LicenseWTFPL
Buildrootf41-build-side-1-3002233-36516
Provides
syntastic-coq = 3.10.0-23.fc41
vim-syntastic-coq = 3.10.0-23.fc41
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(PayloadIsZstd) <= 5.4.18-1
vim-syntastic = 3.10.0-23.fc41
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-coq0.00 B
/usr/share/licenses/vim-syntastic-coq/LICENCE474.00 B
/usr/share/vim/vimfiles/syntax_checkers/coq0.00 B
/usr/share/vim/vimfiles/syntax_checkers/coq/coqtop.vim1.33 KB
Component of No Buildroots