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

* 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