There are currently no open bugs.

"cvc5" versions published in Ubuntu

Noble (1.1.2-1build1): universe/misc
Mantic (1.0.5-3): universe/misc