معرفی شرکت ها

emacs-proofgeneral-4.5-4.fc38.noarch.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Compiled elisp files to run Proof General under GNU Emacs
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything noarch
نام بسته emacs-proofgeneral
نام فایل بسته emacs-proofgeneral-4.5-4.fc38.noarch.rpm
نسخه بسته 4.5
انتشار بسته 4.fc38
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Thu 19 Jan 2023 06
هاست سازنده buildvm-a64-36.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
حجم دانلود 852K
حجم نصب 3.349M
Proof General is a generic front-end for proof assistants based on Emacs. This package contains the byte compiled elisp packages to run Proof General with GNU Emacs.


نیازمندی

مقدار نام
>= 28.2 emacs(bin)
= 4.5-4.fc38 emacs-common-proofgeneral


ارائه دهنده

مقدار نام
= 4.5-4.fc38 emacs-proofgeneral


نحوه نصب


نصب پکیج rpm emacs-proofgeneral:

    dnf install emacs-proofgeneral-4.5-4.fc38.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-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
Convert License tag to SPDX

2022-07-21

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

2022-07-20

Version 4.5
License change from GPLv2 to GPLv3+

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
Install metainfo instead of appdata and reenable validation

2021-07-21

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

2021-01-26

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