معرفی شرکت ها
emacs-proofgeneral-4.5-5.fc39.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything noarch |
| نام بسته | emacs-proofgeneral |
| نام فایل بسته | emacs-proofgeneral-4.5-5.fc39.noarch.rpm |
| نسخه بسته | 4.5 |
| انتشار بسته | 5.fc39 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Wed 19 Jul 2023 10 |
| هاست سازنده | buildvm-a64-18.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://proofgeneral.github.io/ |
| مجوز | GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0 |
| حجم دانلود | 851K |
| حجم نصب | 3.349M |
نیازمندی
| مقدار | نام |
|---|---|
| >= 28.2 | emacs(bin) |
| = 4.5-5.fc39 | emacs-common-proofgeneral |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.5-5.fc39 | emacs-proofgeneral |
نحوه نصب
نصب پکیج rpm emacs-proofgeneral:
dnf install emacs-proofgeneral-4.5-5.fc39.noarch.rpm
فایل ها
| مسیرها |
|---|
| /usr/share/emacs/site-lisp/proofgeneral |
| /usr/share/emacs/site-lisp/proofgeneral/coq |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.el |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.elc |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.el |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.elc |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.el |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.elc |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.el |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.elc |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.el |
| /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.elc |
| /usr/share/emacs/site-lisp/proofgeneral/generic |
| /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el |
| /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.elc |
| /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el |
| /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.elc |
| /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el |
| /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.elc |
| ... and 142 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-07-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
| 2023-07-18 |
Validate appdata with appstream-util
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-19 |
Add patch to silence warnings about an overly long docstring
|
| 2022-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-20 |
Version 4.5
|
| 2022-01-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-10-19 |
13 Oct 2021 git snapshot for numerous updates and bug fixes
|
| 2021-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|