2021-01-14 08:48 0 flint-2.7.0-1.src/
2021-01-14 08:48 797 flint-2.7.0-1.src/configure-prefix.patch
2021-01-14 08:48 4943210 flint-2.7.0-1.src/flint-2.7.0.tar.gz
2021-01-14 08:48 2306 flint-2.7.0-1.src/flint-cygwin.patch
2021-01-14 08:47 907 flint-2.7.0-1.src/flint.cygport
2021-01-14 08:48 1256 flint-2.7.0-1.src/t-NTL-interface.patch