There are currently no open bugs.

"cvc4" versions published in Ubuntu

Noble-proposed (1.8-3build1): universe/misc
Noble (1.8-3): universe/misc
Mantic (1.8-3): universe/misc
Jammy (1.8-2): universe/misc
Focal (1.6-2build2): universe/misc
Bionic (1.5-1): universe/misc