There are currently no open bugs.

"cvc4" versions published in Ubuntu

Hirsute (1.8-2): universe/misc
Groovy (1.8-2): universe/misc
Focal (1.6-2build2): universe/misc
Bionic (1.5-1): universe/misc