There are currently no open bugs.

"hol-light" versions published in Ubuntu

Groovy (20190729-4build1): universe/math
Focal (20190729-4build1): universe/math
Eoan (20190729-2build1): universe/math
Bionic (20170706-0ubuntu4): universe/math
Xenial (20131026-1build2): universe/math
Trusty (20131026-1build1): universe/math