Listing Directory: ubuntu.ucr.ac.cr/pool/universe/h/hol-light/

	Name	Last modified	Size
	Parent Directory		-
	hol-light_20131026-1build1.debian.tar.gz	2013-12-23 10:48	8.3K
	hol-light_20131026-1build1.dsc	2013-12-23 10:48	1.4K
	hol-light_20131026-1build1_amd64.deb	2013-12-23 10:48	2.8M
	hol-light_20131026-1build1_i386.deb	2013-12-23 10:49	2.7M
	hol-light_20131026-1build2.debian.tar.xz	2015-11-03 09:24	8.0K
	hol-light_20131026-1build2.dsc	2015-11-03 09:24	1.7K
	hol-light_20131026-1build2_amd64.deb	2015-11-03 09:39	2.8M
	hol-light_20131026-1build2_i386.deb	2015-11-03 09:39	2.8M
	hol-light_20131026.orig.tar.bz2	2013-11-21 23:13	3.1M
	hol-light_20170706-0ubuntu4.debian.tar.xz	2017-10-27 14:41	9.5K
	hol-light_20170706-0ubuntu4.dsc	2017-10-27 14:41	2.1K
	hol-light_20170706-0ubuntu4_amd64.deb	2017-10-27 14:42	4.0M
	hol-light_20170706-0ubuntu4_i386.deb	2017-10-27 14:44	4.0M
	hol-light_20170706.orig.tar.gz	2017-07-07 08:33	5.9M
	hol-light_20190729-4build1.debian.tar.xz	2020-02-20 19:54	11K
	hol-light_20190729-4build1.dsc	2020-02-20 19:54	2.1K
	hol-light_20190729-4build1_amd64.deb	2020-02-21 01:54	4.6M
	hol-light_20190729.orig.tar.gz	2019-07-29 05:03	6.6M
	hol-light_20230128-1.debian.tar.xz	2023-01-31 11:34	11K
	hol-light_20230128-1.dsc	2023-01-31 11:34	1.8K
	hol-light_20230128-1_amd64.deb	2023-01-31 11:34	5.4M
	hol-light_20230128-2.debian.tar.xz	2023-09-07 09:24	32K
	hol-light_20230128-2.dsc	2023-09-07 09:24	1.8K
	hol-light_20230128-2_amd64.deb	2023-09-07 09:24	5.4M
	hol-light_20230128.orig.tar.gz	2023-01-31 11:34	7.1M
	hol-light_20231021-1build4.debian.tar.xz	2024-02-19 12:47	11K
	hol-light_20231021-1build4.dsc	2024-02-19 12:47	2.0K
	hol-light_20231021-1build4_amd64.deb	2024-02-19 13:32	5.5M
	hol-light_20231021.orig.tar.xz	2023-10-26 09:33	4.8M