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

../
hol-light_20131026-1build1.debian.tar.gz           23-Dec-2013 22:18    8497
hol-light_20131026-1build1.dsc                     23-Dec-2013 22:18    1421
hol-light_20131026-1build1_amd64.deb               23-Dec-2013 22:18      3M
hol-light_20131026-1build1_i386.deb                23-Dec-2013 22:19      3M
hol-light_20131026-1build2.debian.tar.xz           03-Nov-2015 20:54    8160
hol-light_20131026-1build2.dsc                     03-Nov-2015 20:54    1701
hol-light_20131026-1build2_amd64.deb               03-Nov-2015 21:09      3M
hol-light_20131026-1build2_i386.deb                03-Nov-2015 21:09      3M
hol-light_20131026.orig.tar.bz2                    22-Nov-2013 10:43      3M
hol-light_20170706-0ubuntu4.debian.tar.xz          28-Oct-2017 02:11    9748
hol-light_20170706-0ubuntu4.dsc                    28-Oct-2017 02:11    2118
hol-light_20170706-0ubuntu4_amd64.deb              28-Oct-2017 02:12      4M
hol-light_20170706-0ubuntu4_i386.deb               28-Oct-2017 02:14      4M
hol-light_20170706.orig.tar.gz                     07-Jul-2017 20:03      6M
hol-light_20190729-4build1.debian.tar.xz           21-Feb-2020 07:24     11K
hol-light_20190729-4build1.dsc                     21-Feb-2020 07:24    2112
hol-light_20190729-4build1_amd64.deb               21-Feb-2020 13:24      5M
hol-light_20190729.orig.tar.gz                     29-Jul-2019 16:33      7M
hol-light_20231021-1build4.debian.tar.xz           20-Feb-2024 00:17     11K
hol-light_20231021-1build4.dsc                     20-Feb-2024 00:17    2061
hol-light_20231021-1build4_amd64.deb               20-Feb-2024 01:02      6M
hol-light_20231021.orig.tar.xz                     26-Oct-2023 21:03      5M
hol-light_3.0.0-2build10.debian.tar.xz             31-Aug-2025 18:07     11K
hol-light_3.0.0-2build10.dsc                       31-Aug-2025 18:07    2067
hol-light_3.0.0-2build10_amd64.deb                 01-Sep-2025 05:09      6M
hol-light_3.0.0-2build7.debian.tar.xz              13-Mar-2025 23:51     11K
hol-light_3.0.0-2build7.dsc                        13-Mar-2025 23:51    2063
hol-light_3.0.0-2build7_amd64.deb                  14-Mar-2025 18:31      6M
hol-light_3.0.0.orig.tar.xz                        06-Dec-2024 23:21      5M