Bug 2227690

Releases retrieved: casc24, cvc5-0.0.0, cvc5-0.0.1, cvc5-0.0.2, cvc5-0.0.3, cvc5-0.0.4, cvc5-0.0.5, cvc5-0.0.6, cvc5-0.0.7, cvc5-0.0.8, cvc5-0.0.9, cvc5-0.0.10, cvc5-0.0.11, cvc5-0.0.12, cvc5-1.0.0, cvc5-1.0.1, cvc5-1.0.2, cvc5-1.0.3, cvc5-1.0.4, cvc5-1.0.5, kb-sets, latest, smtcomp2010, smtcomp2012, smtcomp2012-resubmission, smtcomp2012-resubmission-2, smtcomp2014, smtcomp2014-application, smtcomp2014-resubmission, smtcomp2015-experimental, smtcomp2015-stable, smtcomp2017, smtcomp2018, smtcomp2019, smtcomp2020, smtcomp2021, smteval2013, 1.0, 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8
Upstream release that is considered latest: 1.8
Current version/release in rawhide: 1.0.5-2.fc39
URL: https://cvc5.github.io/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://docs.fedoraproject.org/en-US/package-maintainers/Upstream_Release_Monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from Anitya: https://release-monitoring.org/project/268448/


To change the monitoring settings for the project, please visit:
https://src.fedoraproject.org/rpms/cvc5