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

../
hol-light_20190729-4+b3_amd64.deb                  13-Oct-2020 11:41             4980976
hol-light_20230128-1+b1_amd64.deb                  12-Feb-2023 17:29             5768384
hol-light_3.0.0-2+b12_amd64.deb                    24-Sep-2025 06:25             6000456
hol-light_3.0.0-2+b12_riscv64.deb                  26-Sep-2025 06:51             6000764
hol-light_3.0.0-2+b4_amd64.deb                     13-Feb-2025 09:01             6000968
hol-light_3.0.0-2+b4_riscv64.deb                   13-Feb-2025 13:02             6000768
hol-light_3.0.0-2+b6_amd64.deb                     09-Apr-2025 06:15             6000832
hol-light_3.0.0-2+b6_riscv64.deb                   09-Apr-2025 09:44             6001084
hol-light_3.0.0-2+b7_amd64.deb                     14-Jun-2025 23:19             6000992
hol-light_3.0.0-2+b7_riscv64.deb                   15-Jun-2025 02:29             6001116
hol-light_3.0.0-2+b8_amd64.deb                     15-Aug-2025 23:25             6001416
hol-light_3.0.0-2+b8_riscv64.deb                   15-Aug-2025 21:47             6000960
hol-light_3.0.0-2+b9_amd64.deb                     26-Aug-2025 09:43             6001104
hol-light_3.0.0-2+b9_riscv64.deb                   26-Aug-2025 10:59             6001256