Index of /debian/pool/main/f/flint

	Name	Last modified	Size	Description
	Parent Directory		-
	flint_2.4.4-2.dsc	2014-09-26 00:53	2.1K
	flint_2.5.2-19.dsc	2018-11-04 01:30	2.1K
	flint_2.5.2-15.dsc	2017-01-24 01:28	2.1K
	flint_2.4.4-2.debian.tar.xz	2014-09-26 00:53	5.1K
	flint_2.5.2-15.debian.tar.xz	2017-01-24 01:28	7.1K
	flint_2.5.2-19.debian.tar.xz	2018-11-04 01:30	8.2K
	libflint-dev_2.4.4-2_amd64.deb	2014-09-26 00:53	137K
	libflint-dev_2.5.2-15_amd64.deb	2017-01-24 02:14	146K
	libflint-2.4.4_2.4.4-2_amd64.deb	2014-09-26 00:53	723K
	libflint-2.5.2_2.5.2-15_amd64.deb	2017-01-24 02:14	885K
	libflint-2.5.2_2.5.2-19_amd64.deb	2018-11-04 01:30	894K
	libflint-dev_2.5.2-19_amd64.deb	2018-11-04 01:30	1.1M
	flint_2.4.4.orig.tar.gz	2014-08-12 23:23	1.6M
	flint_2.5.2.orig.tar.gz	2015-08-31 22:35	2.1M
	libflint-doc_2.4.4-2_all.deb	2014-09-26 00:53	2.1M
	libflint-doc_2.5.2-15_all.deb	2017-01-24 02:14	2.3M
	libflint-doc_2.5.2-19_all.deb	2018-11-04 01:30	2.3M