Changelog for cvc5-libs-1.1.2-2.fc41.x86_64.rpm :

* 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