Index of /ubuntu/pool/universe/h/hol-light
Name
Last modified
Size
Description
Parent Directory
-
hol-light_20131026-1build1.debian.tar.gz
2013-12-23 11:48
8.3K
hol-light_20131026-1build1.dsc
2013-12-23 11:48
1.4K
hol-light_20131026-1build1_amd64.deb
2013-12-23 11:48
2.8M
hol-light_20131026-1build1_i386.deb
2013-12-23 11:49
2.7M
hol-light_20131026-1build2.debian.tar.xz
2015-11-03 10:24
8.0K
hol-light_20131026-1build2.dsc
2015-11-03 10:24
1.7K
hol-light_20131026-1build2_amd64.deb
2015-11-03 10:39
2.8M
hol-light_20131026-1build2_i386.deb
2015-11-03 10:39
2.8M
hol-light_20131026.orig.tar.bz2
2013-11-22 00:13
3.1M
hol-light_20170706-0ubuntu4.debian.tar.xz
2017-10-27 16:41
9.5K
hol-light_20170706-0ubuntu4.dsc
2017-10-27 16:41
2.1K
hol-light_20170706-0ubuntu4_amd64.deb
2017-10-27 16:42
4.0M
hol-light_20170706-0ubuntu4_i386.deb
2017-10-27 16:44
4.0M
hol-light_20170706.orig.tar.gz
2017-07-07 10:33
5.9M
hol-light_20190729-4build1.debian.tar.xz
2020-02-20 20:54
11K
hol-light_20190729-4build1.dsc
2020-02-20 20:54
2.1K
hol-light_20190729-4build1_amd64.deb
2020-02-21 02:54
4.6M
hol-light_20190729.orig.tar.gz
2019-07-29 07:03
6.6M
hol-light_20231021-1build4.debian.tar.xz
2024-02-19 13:47
11K
hol-light_20231021-1build4.dsc
2024-02-19 13:47
2.0K
hol-light_20231021-1build4_amd64.deb
2024-02-19 14:32
5.5M
hol-light_20231021.orig.tar.xz
2023-10-26 11:33
4.8M
Apache/2.4.62 (Debian) Server at mirrors.cs.unc.edu Port 443