There are currently no open bugs.

"picosat" versions published in Ubuntu

Plucky (965-2): universe/science
Oracular (965-2): universe/science
Noble (965-2): universe/science
Jammy (965-2): universe/science
Focal (965-1): universe/science
Bionic (960-1build1): universe/science
Xenial (960-1): universe/science
Trusty (954-1): universe/science