Tue, 06 Jun 2023 06:52:03 CST | login

Information for build emacs-common-proofgeneral-4.5-3.fc37

ID28333
Package Nameemacs-common-proofgeneral
Version4.5
Release3.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/emacs-common-proofgeneral.git#9de8837f743e90bc05dc37681b5bff4c796a095d
SummaryEmacs mode for standard interaction interface for proof assistants
DescriptionProof General is a generic front-end for proof assistants (also known as interactive theorem provers) based on Emacs. Proof General allows one to edit and submit a proof script to a proof assistant in an interactive manner: - It tracks the goal state, and the script as it is submitted, and allows for easy backtracking and block execution. - It adds toolbars and menus to Emacs for easy access to proof assistant features. - It integrates with Emacs Unicode support for some provers to provide output using proper mathematical symbols. - It includes utilities for generating Emacs tags for proof scripts, allowing for easy navigation. Proof General supports a number of different proof assistants (Isabelle, Coq, PhoX, and LEGO to name a few) and is designed to be easily extendable to work with others.
Built bykojiadmin
State complete
Volume DEFAULT
StartedSat, 04 Feb 2023 19:59:00 CST
CompletedSat, 04 Feb 2023 20:40:02 CST
Taskbuild (f37-build-side-32-misc-devel, /rpms/emacs-common-proofgeneral.git:9de8837f743e90bc05dc37681b5bff4c796a095d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/emacs-common-proofgeneral.git#9de8837f743e90bc05dc37681b5bff4c796a095d'}}
Tags
f37-build-side-32-misc-devel
RPMs
src
emacs-common-proofgeneral-4.5-3.fc37.src.rpm (info) (download)
noarch
emacs-common-proofgeneral-4.5-3.fc37.noarch.rpm (info) (download)
emacs-proofgeneral-4.5-3.fc37.noarch.rpm (info) (download)
Logs
noarch
installed_pkgs.log
root.log
state.log
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * Sat Nov 19 2022 Jerry James <loganjerry@gmail.com> - 4.5-3 - Add patch to silence warnings about an overly long docstring - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 4.5-1 - Version 4.5 - License change from GPLv2 to GPLv3+ * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Oct 19 2021 Jerry James <loganjerry@gmail.com> - 4.4-15.20211013gitfd04605 - 13 Oct 2021 git snapshot for numerous updates and bug fixes - Install metainfo instead of appdata and reenable validation * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild