Index of /ubuntu/pool/universe/h/hol-light/

../
hol-light_20190729-4build1.debian.tar.xz           21-Feb-2020 06:54     11K
hol-light_20190729-4build1.dsc                     21-Feb-2020 06:54    2112
hol-light_20190729-4build1_amd64.deb               21-Feb-2020 12:54      5M
hol-light_20190729.orig.tar.gz                     29-Jul-2019 16:03      7M
hol-light_20231021-1build4.debian.tar.xz           19-Feb-2024 23:47     11K
hol-light_20231021-1build4.dsc                     19-Feb-2024 23:47    2061
hol-light_20231021-1build4_amd64.deb               20-Feb-2024 00:32      6M
hol-light_20231021.orig.tar.xz                     26-Oct-2023 20:33      5M
hol-light_3.0.0-2build7.debian.tar.xz              13-Mar-2025 23:21     11K
hol-light_3.0.0-2build7.dsc                        13-Mar-2025 23:21    2063
hol-light_3.0.0-2build7_amd64.deb                  14-Mar-2025 18:01      6M
hol-light_3.0.0-2build8.debian.tar.xz              09-May-2025 08:26     11K
hol-light_3.0.0-2build8.dsc                        09-May-2025 08:26    2063
hol-light_3.0.0-2build8_amd64.deb                  09-May-2025 08:26      6M
hol-light_3.0.0-2build9.debian.tar.xz              19-Jun-2025 16:23     11K
hol-light_3.0.0-2build9.dsc                        19-Jun-2025 16:23    2063
hol-light_3.0.0-2build9_amd64.deb                  20-Jun-2025 00:10      6M
hol-light_3.0.0.orig.tar.xz                        06-Dec-2024 22:51      5M