Ubuntu
cadical package

There are currently no open bugs.

"cadical" versions published in Ubuntu

Noble (1.7.4-1): universe/misc
Mantic (1.5.3-2): universe/misc