Index of /ubuntu/pool/universe/h/hol-light
Name
Last modified
Size
Parent Directory
-
hol-light_3.0.0-2.debian.tar.xz
2024-12-16 12:01
11K
hol-light_3.0.0-2.dsc
2024-12-16 12:01
2.0K
hol-light_3.0.0-2_amd64.deb
2024-12-16 12:01
5.5M
hol-light_3.0.0.orig.tar.xz
2024-12-06 17:51
5.1M
hol-light_20131026-1build1.debian.tar.gz
2013-12-23 16:48
8.3K
hol-light_20131026-1build1.dsc
2013-12-23 16:48
1.4K
hol-light_20131026-1build1_amd64.deb
2013-12-23 16:48
2.8M
hol-light_20131026-1build1_i386.deb
2013-12-23 16:49
2.7M
hol-light_20131026-1build2.debian.tar.xz
2015-11-03 15:24
8.0K
hol-light_20131026-1build2.dsc
2015-11-03 15:24
1.7K
hol-light_20131026-1build2_amd64.deb
2015-11-03 15:39
2.8M
hol-light_20131026-1build2_i386.deb
2015-11-03 15:39
2.8M
hol-light_20131026.orig.tar.bz2
2013-11-22 05:13
3.1M
hol-light_20170706-0ubuntu4.debian.tar.xz
2017-10-27 20:41
9.5K
hol-light_20170706-0ubuntu4.dsc
2017-10-27 20:41
2.1K
hol-light_20170706-0ubuntu4_amd64.deb
2017-10-27 20:42
4.0M
hol-light_20170706-0ubuntu4_i386.deb
2017-10-27 20:44
4.0M
hol-light_20170706.orig.tar.gz
2017-07-07 14:33
5.9M
hol-light_20190729-4build1.debian.tar.xz
2020-02-21 01:54
11K
hol-light_20190729-4build1.dsc
2020-02-21 01:54
2.1K
hol-light_20190729-4build1_amd64.deb
2020-02-21 07:54
4.6M
hol-light_20190729.orig.tar.gz
2019-07-29 11:03
6.6M
hol-light_20231021-1build4.debian.tar.xz
2024-02-19 18:47
11K
hol-light_20231021-1build4.dsc
2024-02-19 18:47
2.0K
hol-light_20231021-1build4_amd64.deb
2024-02-19 19:32
5.5M
hol-light_20231021.orig.tar.xz
2023-10-26 15:33
4.8M
Apache/2.4.52 (Ubuntu) Server at ci.archive.ubuntu.com Port 80