There are currently no open bugs.

"hol-light" versions published in Ubuntu

Oracular (20231021-2): universe/math
Noble (20231021-1build4): universe/math
Focal (20190729-4build1): universe/math
Bionic (20170706-0ubuntu4): universe/math
Xenial (20131026-1build2): universe/math
Trusty (20131026-1build1): universe/math