Changelog for emacs-common-proofgeneral-4.4-14.20200506gitea62543.fc35.noarch.rpm :

* Wed Jul 21 2021 Fedora Release Engineering - 4.4-14- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering - 4.4-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering - 4.4-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Wed May 20 2020 Jerry James - 4.4-11.20200506gitea62543- May 6 2020 git snapshot so emacs-mmm dependency can be dropped (bz 1837683)- Remove the -el subpackage as required by current package guidelines
* Tue Jan 28 2020 Fedora Release Engineering - 4.4-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jul 24 2019 Fedora Release Engineering - 4.4-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild