There are currently no open bugs.

"hol-light" versions published in Ubuntu

Eoan (20170706-0ubuntu4): universe/math
Disco (20170706-0ubuntu4): universe/math
Cosmic (20170706-0ubuntu4): universe/math
Bionic (20170706-0ubuntu4): universe/math
Xenial (20131026-1build2): universe/math
Trusty (20131026-1build1): universe/math