Changelog for cvc5-java-debuginfo-1.1.1-1.fc39.x86_64.rpm :

* Tue Feb 20 2024 Jerry James - 1.1.1-1- Version 1.1.1
* 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