معرفی شرکت ها


vim-syntastic-coq-3.10.0-16.fc37.noarch.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

A syntax checker for coq programming language
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything noarch
نام بسته vim-syntastic-coq
نام فایل بسته vim-syntastic-coq-3.10.0-16.fc37.noarch.rpm
نسخه بسته 3.10.0
انتشار بسته 16.fc37
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Sat 23 Jul 2022 04
هاست سازنده buildvm-s390x-02.s390.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/scrooloose/syntastic
مجوز WTFPL
حجم دانلود 10K
حجم نصب 1.794K
Allows checking coq sources files.


نیازمندی

مقدار نام
- coq
= 3.10.0-16.fc37 vim-syntastic


ارائه دهنده

مقدار نام
= 3.10.0-16.fc37 syntastic-coq
= 3.10.0-16.fc37 vim-syntastic-coq


نحوه نصب


نصب پکیج rpm vim-syntastic-coq:

    dnf install vim-syntastic-coq-3.10.0-16.fc37.noarch.rpm


فایل ها

مسیرها
/usr/share/licenses/vim-syntastic-coq
/usr/share/licenses/vim-syntastic-coq/LICENCE
/usr/share/vim/vimfiles/syntax_checkers/coq


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2022-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-08

Rebuilt for Drop i686 JDKs

2022-01-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-12

Change go dep to golang-bin from gcc-go. Obsolete earlier go subpackages

2021-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-07-07

Obsolete rnc subpackage as well, and remove the rnc dir from package.
Handle commented macro.

2021-07-07

Stop building rnc subpackage due to rnv's retirement. (rhbz#1955850)

2021-01-27

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2021-01-05

drop javascript subpackage, javascript is going away from Fedora
this is probably the last update of vim-syntastic package, I plan to orphan it
ale instead:
ale/

2020-07-29

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild