معرفی شرکت ها
vim-syntastic-coq-3.10.0-16.fc37.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | 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 |
نیازمندی
مقدار | نام |
---|---|
- | 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.
|
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
|
2020-07-29 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|