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

../
hol-light_20170706-0ubuntu4.debian.tar.xz          08-Sep-2021 02:33    9748
hol-light_20170706-0ubuntu4.dsc                    08-Sep-2021 02:33    2118
hol-light_20170706-0ubuntu4_amd64.deb              27-Oct-2017 13:42      4M
hol-light_20170706-0ubuntu4_i386.deb               18-Nov-2020 01:58      4M
hol-light_20170706.orig.tar.gz                     08-Sep-2021 02:33      6M
hol-light_20190729-4build1.debian.tar.xz           08-Sep-2021 02:33     11K
hol-light_20190729-4build1.dsc                     08-Sep-2021 02:33    2112
hol-light_20190729-4build1_amd64.deb               18-Nov-2020 01:58      5M
hol-light_20190729.orig.tar.gz                     06-Nov-2024 20:51      7M
hol-light_20231021-1build4.debian.tar.xz           06-May-2024 21:52     11K
hol-light_20231021-1build4.dsc                     06-May-2024 21:52    2061
hol-light_20231021-1build4_amd64.deb               06-May-2024 21:52      6M
hol-light_20231021.orig.tar.xz                     06-May-2024 21:52      5M