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

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] hol-light_20131026-1build1.debian.tar.gz 2013-12-23 17:48 8.3K [   ] hol-light_20131026-1build1.dsc 2013-12-23 17:48 1.4K [   ] hol-light_20131026-1build1_amd64.deb 2013-12-23 17:48 2.8M [   ] hol-light_20131026-1build1_i386.deb 2013-12-23 17:49 2.7M [   ] hol-light_20131026-1build2.debian.tar.xz 2015-11-03 16:24 8.0K [   ] hol-light_20131026-1build2.dsc 2015-11-03 16:24 1.7K [   ] hol-light_20131026-1build2_amd64.deb 2015-11-03 16:39 2.8M [   ] hol-light_20131026-1build2_i386.deb 2015-11-03 16:39 2.8M [   ] hol-light_20131026.orig.tar.bz2 2013-11-22 06:13 3.1M [   ] hol-light_20170706-0ubuntu4.debian.tar.xz 2017-10-27 22:41 9.5K [   ] hol-light_20170706-0ubuntu4.dsc 2017-10-27 22:41 2.1K [   ] hol-light_20170706-0ubuntu4_amd64.deb 2017-10-27 22:42 4.0M [   ] hol-light_20170706-0ubuntu4_i386.deb 2017-10-27 22:44 4.0M [   ] hol-light_20170706.orig.tar.gz 2017-07-07 16:33 5.9M [   ] hol-light_20190729-4build1.debian.tar.xz 2020-02-21 02:54 11K [   ] hol-light_20190729-4build1.dsc 2020-02-21 02:54 2.1K [   ] hol-light_20190729-4build1_amd64.deb 2020-02-21 08:54 4.6M [   ] hol-light_20190729.orig.tar.gz 2019-07-29 13:03 6.6M [   ] hol-light_20231021-1build4.debian.tar.xz 2024-02-19 19:47 11K [   ] hol-light_20231021-1build4.dsc 2024-02-19 19:47 2.0K [   ] hol-light_20231021-1build4_amd64.deb 2024-02-19 20:32 5.5M [   ] hol-light_20231021.orig.tar.xz 2023-10-26 17:33 4.8M [   ] hol-light_3.0.0-2.debian.tar.xz 2024-12-16 13:01 11K [   ] hol-light_3.0.0-2.dsc 2024-12-16 13:01 2.0K [   ] hol-light_3.0.0-2_amd64.deb 2024-12-16 13:01 5.5M [   ] hol-light_3.0.0.orig.tar.xz 2024-12-06 18:51 5.1M
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443