There are currently no open bugs.

"hol-light" versions published in Ubuntu

Impish (20190729-4build4): universe/math
Hirsute (20190729-4build4): universe/math
Groovy (20190729-4build3): universe/math
Focal (20190729-4build1): universe/math
Bionic (20170706-0ubuntu4): universe/math
Xenial (20131026-1build2): universe/math
Trusty (20131026-1build1): universe/math