Index of /pub/debian/pool/main/h/hol-light/

../
hol-light_20190729-4+b3_amd64.deb                  13-Oct-2020 11:41             4980976
hol-light_20190729-4+b3_i386.deb                   13-Oct-2020 11:56             4981724
hol-light_20230128-1+b1_amd64.deb                  12-Feb-2023 17:29             5768384
hol-light_20230128-1+b1_i386.deb                   12-Feb-2023 17:18             5768804
hol-light_3.0.0-2+b7_amd64.deb                     14-Jun-2025 23:19             6000992
hol-light_3.0.0-2+b7_i386.deb                      15-Jun-2025 00:40             6001004
hol-light_3.0.0-2+b7_riscv64.deb                   15-Jun-2025 02:29             6001116
hol-light_3.1.0-2+b1_amd64.deb                     05-Jan-2026 12:36             6199008
hol-light_3.1.0-2+b1_i386.deb                      05-Jan-2026 12:42             6199504
hol-light_3.1.0-2+b1_riscv64.deb                   05-Jan-2026 13:59             6199004