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 00:00	8.3K
	hol-light_20131026-1build1.dsc	2013-12-23 00:00	1.4K
	hol-light_20131026-1build1_amd64.deb	2013-12-23 00:00	2.8M
	hol-light_20131026-1build1_i386.deb	2013-12-23 00:00	2.7M
	hol-light_20131026-1build2.debian.tar.xz	2015-11-03 00:00	8.0K
	hol-light_20131026-1build2.dsc	2015-11-03 00:00	1.7K
	hol-light_20131026-1build2_amd64.deb	2015-11-03 00:00	2.8M
	hol-light_20131026-1build2_i386.deb	2015-11-03 00:00	2.8M
	hol-light_20131026.orig.tar.bz2	2013-11-22 00:00	3.1M
	hol-light_20170706-0ubuntu4.debian.tar.xz	2017-10-27 00:00	9.5K
	hol-light_20170706-0ubuntu4.dsc	2017-10-27 00:00	2.1K
	hol-light_20170706-0ubuntu4_amd64.deb	2017-10-27 00:00	4.0M
	hol-light_20170706-0ubuntu4_i386.deb	2017-10-27 00:00	4.0M
	hol-light_20170706.orig.tar.gz	2017-07-07 00:00	5.9M
	hol-light_20190729-4build1.debian.tar.xz	2020-02-21 00:00	11K
	hol-light_20190729-4build1.dsc	2020-02-21 00:00	2.1K
	hol-light_20190729-4build1_amd64.deb	2020-02-21 00:00	4.6M
	hol-light_20190729-4build3.debian.tar.xz	2020-09-05 15:03	11K
	hol-light_20190729-4build3.dsc	2020-09-05 15:03	2.1K
	hol-light_20190729-4build3_amd64.deb	2020-09-05 15:08	4.6M
	hol-light_20190729-4build4.debian.tar.xz	2020-11-02 18:09	11K
	hol-light_20190729-4build4.dsc	2020-11-02 18:09	2.1K
	hol-light_20190729-4build4_amd64.deb	2020-11-02 18:24	4.6M
	hol-light_20190729.orig.tar.gz	2019-07-29 00:00	6.6M