↵ Return to the main page of emacs-proofgeneral
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2023-07-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
2023-07-18 | Jerry James <loganjerry at gmail dot com> - 4.5-4 | - Validate appdata with appstream-util |
2023-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
2022-11-19 | Jerry James <loganjerry at gmail dot com> - 4.5-3 | - Add patch to silence warnings about an overly long docstring - Convert License tag to SPDX |
2022-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
2022-07-20 | Jerry James <loganjerry at gmail dot com> - 4.5-1 | - Version 4.5 - License change from GPLv2 to GPLv3+ |
2022-01-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.4-16 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild |
2021-10-19 | Jerry James <loganjerry at gmail dot com> - 4.4-15.20211013gitfd04605 | - 13 Oct 2021 git snapshot for numerous updates and bug fixes - Install metainfo instead of appdata and reenable validation |
2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.4-14 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |