Log in / Register
Ubuntu
hol-light package
Overview
Code
Bugs
Blueprints
Translations
Answers
Advanced search
There are currently no open bugs.
Report a bug
Ask a question
New bugs
Open bugs
In-progress bugs
Critical bugs
High importance bugs
Bugs fixed elsewhere
Bugs with patches
Open CVE 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
Show more tags…
Show fewer tags…