Index of /macports/distfiles/flint

	Name	Last modified	Size

	Parent Directory		-
	flint-2.5.2.tar.gz	2019-08-10 23:46	2.1M
	flint-2.7.1.tar.gz	2021-03-14 15:20	4.7M
	flint-2.8.0.tar.gz	2021-10-13 01:57	5.0M
	flint-2.9.0.tar.gz	2022-08-08 16:00	5.0M

Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443