Fedora Packages

emacs-common-proofgeneral-4.5-12.20240912git1ffca70.fc44 in Fedora Rawhide

↵ Return to the main page of emacs-common-proofgeneral
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2025-09-05 Jerry James <loganjerry at gmail dot com> - 4.5-12 - Rebuild for emacs 30.2
2025-07-23 Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-09-28 Jerry James <loganjerry at gmail dot com> - 4.5-9 - Update to git head for prooftree 0.14 support
2024-07-17 Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-01-24 Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-16 Jerry James <loganjerry at gmail dot com> - 4.5-5 - Stop building for 32-bit x86

Dependencies

Provides

  • application()
  • application(proofgeneral.desktop)
  • emacs-common-proofgeneral
  • metainfo()
  • metainfo(io.github.proofgeneral.metainfo.xml)

Files


Sources on Pagure