Index of /pool/main/h/hasktags

	Name	Last modified	Size
	Parent Directory		-
	hasktags_0.69.1-6.debian.tar.xz	2016-10-28 02:30	3.0K
	hasktags_0.69.1-6.dsc	2016-10-28 02:30	2.2K
	hasktags_0.69.1-6_armhf.deb	2016-12-01 11:08	1.2M
	hasktags_0.69.1.orig.tar.gz	2015-08-13 11:58	55K
	hasktags_0.71.2-1.debian.tar.xz	2018-09-30 13:04	3.2K
	hasktags_0.71.2-1.dsc	2018-09-30 13:04	2.4K
	hasktags_0.71.2-1_armhf.deb	2018-10-14 10:48	552K
	hasktags_0.71.2-2.debian.tar.xz	2020-09-03 16:35	3.6K
	hasktags_0.71.2-2.dsc	2020-09-03 16:35	2.4K
	hasktags_0.71.2-2_armhf.deb	2020-09-04 00:08	573K
	hasktags_0.71.2.orig.tar.gz	2018-09-30 13:04	58K
	hasktags_0.72.0-1.debian.tar.xz	2022-07-20 17:40	3.3K
	hasktags_0.72.0-1.dsc	2022-07-20 17:40	2.4K
	hasktags_0.72.0-1_armhf.deb	2022-07-26 12:08	582K
	hasktags_0.72.0.orig.tar.gz	2022-07-20 17:40	58K