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
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
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
bbfa235
(Get the code!)