Changelog for pvs-sbcl-7.1-9.fc38.x86_64.rpm :

* Fri Jan 20 2023 Fedora Release Engineering - 7.1-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Jan 17 2023 Jerry James - 7.1-8- Convert License tag to SPDX
* Mon Aug 01 2022 Jerry James - 7.1-8- Add -emacs patch for Emacs 28 compatibility- Limit builds to x86_64
* Fri Jul 22 2022 Fedora Release Engineering - 7.1-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jan 26 2022 Jerry James - 7.1-7- Rebuild to fix sbcl dependency
* Fri Jan 21 2022 Fedora Release Engineering - 7.1-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Fri Jul 23 2021 Fedora Release Engineering - 7.1-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Thu Jun 03 2021 Jerry James - 7.1-4- Add -language patch to work around possible TeXLive 2021 bug- BR ghostscript instead of ghostscript-core
* Thu Feb 04 2021 Jerry James - 7.1-3- Rebuild to fix sbcl dependency- Add MIME type for pvs source files
* Wed Jan 27 2021 Fedora Release Engineering - 7.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild