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

	Name	Last modified	Size	Description
	Parent Directory		-
	hol-light_20131026-1build1.debian.tar.gz	23-Dec-2013 13:48	8.3K
	hol-light_20131026-1build1.dsc	23-Dec-2013 13:48	1.4K
	hol-light_20131026-1build1_amd64.deb	23-Dec-2013 13:48	2.8M
	hol-light_20131026-1build1_i386.deb	23-Dec-2013 13:49	2.7M
	hol-light_20131026-1build2.debian.tar.xz	03-Nov-2015 12:24	8.0K
	hol-light_20131026-1build2.dsc	03-Nov-2015 12:24	1.7K
	hol-light_20131026-1build2_amd64.deb	03-Nov-2015 12:39	2.8M
	hol-light_20131026-1build2_i386.deb	03-Nov-2015 12:39	2.8M
	hol-light_20131026.orig.tar.bz2	22-Nov-2013 02:13	3.1M
	hol-light_20170706-0ubuntu4.debian.tar.xz	27-Oct-2017 18:41	9.5K
	hol-light_20170706-0ubuntu4.dsc	27-Oct-2017 18:41	2.1K
	hol-light_20170706-0ubuntu4_amd64.deb	27-Oct-2017 18:42	4.0M
	hol-light_20170706-0ubuntu4_i386.deb	27-Oct-2017 18:44	4.0M
	hol-light_20170706.orig.tar.gz	07-Jul-2017 12:33	5.9M
	hol-light_20190729-4build1.debian.tar.xz	20-Feb-2020 22:54	11K
	hol-light_20190729-4build1.dsc	20-Feb-2020 22:54	2.1K
	hol-light_20190729-4build1_amd64.deb	21-Feb-2020 04:54	4.6M
	hol-light_20190729.orig.tar.gz	29-Jul-2019 09:03	6.6M
	hol-light_20230128-1.debian.tar.xz	31-Jan-2023 14:34	11K
	hol-light_20230128-1.dsc	31-Jan-2023 14:34	1.8K
	hol-light_20230128-1_amd64.deb	31-Jan-2023 14:34	5.4M
	hol-light_20230128.orig.tar.gz	31-Jan-2023 14:34	7.1M