emacs-common-proofgeneral-4.5-7.fc41 | Build Info

Information for build emacs-common-proofgeneral-4.5-7.fc41

7394

Package Name

Links

Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem

Version

4.5

Release

7.fc41

Epoch

Draft

False

Source

git+https://src.fedoraproject.org/rpms/emacs-common-proofgeneral.git#6463fac8a58ffcbe6e46b3f152f202ee2e2571a4

Summary

Emacs mode for standard interaction interface for proof assistants

Description

Proof 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 by

kojiadmin

State

complete

Volume

DEFAULT

Started

Wed, 01 May 2024 21:56:30 CST

Completed

Wed, 01 May 2024 22:41:47 CST

Task

build (f41, /rpms/emacs-common-proofgeneral.git:6463fac8a58ffcbe6e46b3f152f202ee2e2571a4)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/emacs-common-proofgeneral.git#6463fac8a58ffcbe6e46b3f152f202ee2e2571a4'}}

Tags

f41

RPMs

src
	emacs-common-proofgeneral-4.5-7.fc41.src.rpm (info) (download)
noarch
	emacs-common-proofgeneral-4.5-7.fc41.noarch.rpm (info) (download)
	emacs-proofgeneral-4.5-7.fc41.noarch.rpm (info) (download)

Logs

noarch
	root.log
	installed_pkgs.log
	state.log
	build.log
	hw_info.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 4.5-5 - Stop building for 32-bit x86 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 4.5-4 - Validate appdata with appstream-util * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * 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+