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

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


../
hol-light_20131026-1build1.debian.tar.gz           23-Dec-2013 16:48                8497
hol-light_20131026-1build1.dsc                     23-Dec-2013 16:48                1421
hol-light_20131026-1build1_amd64.deb               23-Dec-2013 16:48             2890522
hol-light_20131026-1build1_i386.deb                23-Dec-2013 16:49             2868844
hol-light_20131026-1build2.debian.tar.xz           03-Nov-2015 15:24                8160
hol-light_20131026-1build2.dsc                     03-Nov-2015 15:24                1701
hol-light_20131026-1build2_amd64.deb               03-Nov-2015 15:39             2887654
hol-light_20131026-1build2_i386.deb                03-Nov-2015 15:39             2885994
hol-light_20131026.orig.tar.bz2                    22-Nov-2013 05:13             3261007
hol-light_20170706-0ubuntu4.debian.tar.xz          27-Oct-2017 20:41                9748
hol-light_20170706-0ubuntu4.dsc                    27-Oct-2017 20:41                2118
hol-light_20170706-0ubuntu4_amd64.deb              27-Oct-2017 20:42             4202040
hol-light_20170706-0ubuntu4_i386.deb               27-Oct-2017 20:44             4202044
hol-light_20170706.orig.tar.gz                     07-Jul-2017 14:33             6207499
hol-light_20190729-4build1.debian.tar.xz           21-Feb-2020 01:54               11184
hol-light_20190729-4build1.dsc                     21-Feb-2020 01:54                2112
hol-light_20190729-4build1_amd64.deb               21-Feb-2020 07:54             4775356
hol-light_20190729.orig.tar.gz                     29-Jul-2019 11:03             6959546
hol-light_20231021-1build4.debian.tar.xz           19-Feb-2024 18:47               10976
hol-light_20231021-1build4.dsc                     19-Feb-2024 18:47                2061
hol-light_20231021-1build4_amd64.deb               19-Feb-2024 19:32             5777198
hol-light_20231021.orig.tar.xz                     26-Oct-2023 15:33             5043576
hol-light_3.0.0-2build10.debian.tar.xz             31-Aug-2025 12:37               11164
hol-light_3.0.0-2build10.dsc                       31-Aug-2025 12:37                2067
hol-light_3.0.0-2build10_amd64.deb                 31-Aug-2025 23:39             5830798
hol-light_3.0.0-2build7.debian.tar.xz              13-Mar-2025 18:21               11104
hol-light_3.0.0-2build7.dsc                        13-Mar-2025 18:21                2063
hol-light_3.0.0-2build7_amd64.deb                  14-Mar-2025 13:01             5832248
hol-light_3.0.0.orig.tar.xz                        06-Dec-2024 17:51             5364404
hol-light_3.1.0-2build1.debian.tar.xz              03-Jan-2026 17:50               19740
hol-light_3.1.0-2build1.dsc                        03-Jan-2026 17:50                2079
hol-light_3.1.0-2build1_amd64.deb                  03-Jan-2026 19:12             6033480
hol-light_3.1.0-2build1_amd64v3.deb                03-Jan-2026 19:12             6033394
hol-light_3.1.0-2build3.debian.tar.xz              01-Mar-2026 08:08               19796
hol-light_3.1.0-2build3.dsc                        01-Mar-2026 08:08                2079
hol-light_3.1.0-2build3_amd64.deb                  01-Mar-2026 08:08             6033276
hol-light_3.1.0-2build3_amd64v3.deb                01-Mar-2026 15:46             6033254
hol-light_3.1.0.orig.tar.xz                        20-Dec-2025 13:55             5539628

DISCLAIMER

This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.