Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM vim-syntastic-coq-3.10.0-21.fc39.noarch.rpm

ID	1127064
Name	vim-syntastic-coq
Version	3.10.0
Release	21.fc39
Epoch
Arch	noarch
Summary	A syntax checker for coq programming language
Description	Allows checking coq sources files.
Build Time	2023-07-22 17:48:00 GMT
Size	9.60 KB
SIGMD5	f5370908d3648cd1b53f58bf6fba34f4
License	WTFPL
Provides	syntastic-coq = 3.10.0-21.fc39 vim-syntastic-coq = 3.10.0-21.fc39
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-21.fc39
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 4 of 4 Name Size /usr/share/licenses/vim-syntastic-coq 0.00 B /usr/share/licenses/vim-syntastic-coq/LICENCE 474.00 B /usr/share/vim/vimfiles/syntax_checkers/coq 0.00 B /usr/share/vim/vimfiles/syntax_checkers/coq/coqtop.vim 1.33 KB
Component of	No Buildroots