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

directories: 0, files: 29

NameLast modifiedSize
../
hol-light_3.0.0.orig.tar.xz2024-12-06 18:51:485.12 MiB
hol-light_3.0.0-2build8_amd64.deb2025-05-09 05:26:435.56 MiB
hol-light_3.0.0-2build8.dsc2025-05-09 05:26:362.01 KiB
hol-light_3.0.0-2build8.debian.tar.xz2025-05-09 05:26:3610.87 KiB
hol-light_3.0.0-2build7_amd64.deb2025-03-14 14:01:595.56 MiB
hol-light_3.0.0-2build7.dsc2025-03-13 19:21:342.01 KiB
hol-light_3.0.0-2build7.debian.tar.xz2025-03-13 19:21:3310.84 KiB
hol-light_20231021.orig.tar.xz2023-10-26 17:33:124.81 MiB
hol-light_20231021-1build4_amd64.deb2024-02-19 20:32:415.51 MiB
hol-light_20231021-1build4.dsc2024-02-19 19:47:092.01 KiB
hol-light_20231021-1build4.debian.tar.xz2024-02-19 19:47:0910.72 KiB
hol-light_20190729.orig.tar.gz2019-07-29 13:03:206.64 MiB
hol-light_20190729-4build1_amd64.deb2020-02-21 08:54:054.55 MiB
hol-light_20190729-4build1.dsc2020-02-21 02:54:302.06 KiB
hol-light_20190729-4build1.debian.tar.xz2020-02-21 02:54:3010.92 KiB
hol-light_20170706.orig.tar.gz2017-07-07 16:33:255.92 MiB
hol-light_20170706-0ubuntu4_i386.deb2017-10-27 22:44:164.01 MiB
hol-light_20170706-0ubuntu4_amd64.deb2017-10-27 22:42:164.01 MiB
hol-light_20170706-0ubuntu4.dsc2017-10-27 22:41:382.07 KiB
hol-light_20170706-0ubuntu4.debian.tar.xz2017-10-27 22:41:389.52 KiB
hol-light_20131026.orig.tar.bz22013-11-22 06:13:223.11 MiB
hol-light_20131026-1build2_i386.deb2015-11-03 16:39:462.75 MiB
hol-light_20131026-1build2_amd64.deb2015-11-03 16:39:422.75 MiB
hol-light_20131026-1build2.dsc2015-11-03 16:24:331.66 KiB
hol-light_20131026-1build2.debian.tar.xz2015-11-03 16:24:337.97 KiB
hol-light_20131026-1build1_i386.deb2013-12-23 17:49:062.74 MiB
hol-light_20131026-1build1_amd64.deb2013-12-23 17:48:532.76 MiB
hol-light_20131026-1build1.dsc2013-12-23 17:48:441.39 KiB
hol-light_20131026-1build1.debian.tar.gz2013-12-23 17:48:448.30 KiB