Index of /ubuntu/pool/universe/h/hol-light
Name
Last modified
Size
Parent Directory
-
hol-light_20131026-1build1.debian.tar.gz
23-Dec-2013 09:48
8.3K
hol-light_20131026-1build1.dsc
23-Dec-2013 09:48
1.4K
hol-light_20131026-1build1_amd64.deb
23-Dec-2013 09:48
2.8M
hol-light_20131026-1build1_i386.deb
23-Dec-2013 09:49
2.7M
hol-light_20131026-1build2.debian.tar.xz
03-Nov-2015 08:24
8.0K
hol-light_20131026-1build2.dsc
03-Nov-2015 08:24
1.7K
hol-light_20131026-1build2_amd64.deb
03-Nov-2015 08:39
2.8M
hol-light_20131026-1build2_i386.deb
03-Nov-2015 08:39
2.8M
hol-light_20131026.orig.tar.bz2
21-Nov-2013 22:13
3.1M
hol-light_20170706-0ubuntu4.debian.tar.xz
27-Oct-2017 14:41
9.5K
hol-light_20170706-0ubuntu4.dsc
27-Oct-2017 14:41
2.1K
hol-light_20170706-0ubuntu4_amd64.deb
27-Oct-2017 14:42
4.0M
hol-light_20170706-0ubuntu4_i386.deb
27-Oct-2017 14:44
4.0M
hol-light_20170706.orig.tar.gz
07-Jul-2017 08:33
5.9M
hol-light_20190729-4build1.debian.tar.xz
20-Feb-2020 18:54
11K
hol-light_20190729-4build1.dsc
20-Feb-2020 18:54
2.1K
hol-light_20190729-4build1_amd64.deb
21-Feb-2020 00:54
4.6M
hol-light_20190729.orig.tar.gz
29-Jul-2019 05:03
6.6M
hol-light_20230128-1.debian.tar.xz
31-Jan-2023 10:34
11K
hol-light_20230128-1.dsc
31-Jan-2023 10:34
1.8K
hol-light_20230128-1_amd64.deb
31-Jan-2023 10:34
5.4M
hol-light_20230128-2.debian.tar.xz
07-Sep-2023 09:24
32K
hol-light_20230128-2.dsc
07-Sep-2023 09:24
1.8K
hol-light_20230128-2_amd64.deb
07-Sep-2023 09:24
5.4M
hol-light_20230128.orig.tar.gz
31-Jan-2023 10:34
7.1M
hol-light_20231021-1build4.debian.tar.xz
19-Feb-2024 11:47
11K
hol-light_20231021-1build4.dsc
19-Feb-2024 11:47
2.0K
hol-light_20231021-1build4_amd64.deb
19-Feb-2024 12:32
5.5M
hol-light_20231021.orig.tar.xz
26-Oct-2023 09:33
4.8M
Apache/2.2.14 (Ubuntu) Server at ubuntu.cs.utah.edu Port 80