Changelog for cvc5-debuginfo-1.2.0-1.fc41.x86_64.rpm :

* Thu Sep 26 2024 Jerry James - 1.2.0-1- Version 1.2.0- Drop unneeded patches: do-not-use-gold and rpath- Upstream changes broke %generate_buildrequires; list BRs manually- Stop disabling hidden ELF symbols
* Wed Jul 17 2024 Fedora Release Engineering - 1.1.2-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James - 1.1.2-4- Rebuild for cryptominisat 5.11.22
* Sat Jun 08 2024 Python Maint - 1.1.2-3- Rebuilt for Python 3.13
* Fri Mar 29 2024 Jerry James - 1.1.2-2- Rebuild for cocoalib 0.99850
* Thu Mar 14 2024 Jerry James - 1.1.2-1- Version 1.1.2
* Tue Feb 20 2024 Jerry James - 1.1.1-1- Version 1.1.1
* Fri Feb 09 2024 Jerry James - 1.1.0-5- Rebuild for cryptominisat 5.11.21
* Wed Jan 31 2024 Jerry James - 1.1.0-4- Rebuild for cryptominisat 5.11.15
* Wed Jan 24 2024 Fedora Release Engineering - 1.1.0-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering - 1.1.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Jan 10 2024 Jerry James - 1.1.0-1- Version 1.1.0- Fix symbol visibility issue (rhbz#2256948)- Skip regression tests until alfc can be packaged
* Fri Sep 15 2023 Jerry James - 1.0.8-1- Version 1.0.8- Remove dependency on antlr3- Drop upstreamed patches: antlr3, toml, vec
* Wed Aug 09 2023 Jerry James - 1.0.5-3- Build with yosyshq-abc instead of abc
* Sat Jul 29 2023 Jerry James - 1.0.5-1- Initial RPM