There are currently no open bugs.

"cvc4" versions published in Ubuntu

Focal (1.6-2build2): universe/misc
Eoan (1.6-2build1): universe/misc
Disco (1.6-2build1): universe/misc
Bionic (1.5-1): universe/misc