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

../
hol-light_20131026-1build1.debian.tar.gz           21-Mar-2025 20:48                8497
hol-light_20131026-1build1.dsc                     21-Mar-2025 20:48                1421
hol-light_20131026-1build1_amd64.deb               21-Mar-2025 20:48             2890522
hol-light_20131026-1build1_i386.deb                21-Mar-2025 20:48             2868844
hol-light_20131026-1build2.debian.tar.xz           21-Mar-2025 20:48                8160
hol-light_20131026-1build2.dsc                     21-Mar-2025 20:48                1701
hol-light_20131026-1build2_amd64.deb               21-Mar-2025 20:48             2887654
hol-light_20131026-1build2_i386.deb                21-Mar-2025 20:48             2885994
hol-light_20131026.orig.tar.bz2                    21-Mar-2025 20:48             3261007
hol-light_20170706-0ubuntu4.debian.tar.xz          21-Mar-2025 20:48                9748
hol-light_20170706-0ubuntu4.dsc                    21-Mar-2025 20:48                2118
hol-light_20170706-0ubuntu4_amd64.deb              21-Mar-2025 20:48             4202040
hol-light_20170706-0ubuntu4_i386.deb               21-Mar-2025 20:48             4202044
hol-light_20170706.orig.tar.gz                     21-Mar-2025 20:48             6207499
hol-light_20190729-4build1.debian.tar.xz           21-Mar-2025 20:48               11184
hol-light_20190729-4build1.dsc                     21-Mar-2025 20:48                2112
hol-light_20190729-4build1_amd64.deb               21-Mar-2025 20:48             4775356
hol-light_20190729-4build3.debian.tar.xz           21-Mar-2025 20:48               11260
hol-light_20190729-4build3.dsc                     21-Mar-2025 20:48                2112
hol-light_20190729-4build3_amd64.deb               21-Mar-2025 20:48             4775076
hol-light_20190729-4build4.debian.tar.xz           21-Mar-2025 20:48               11328
hol-light_20190729-4build4.dsc                     21-Mar-2025 20:48                2137
hol-light_20190729-4build4_amd64.deb               21-Mar-2025 20:48             4791856
hol-light_20190729.orig.tar.gz                     21-Mar-2025 20:48             6959546