../ flint_2.5.2-15.debian.tar.xz 24-Apr-2019 17:19 7300 flint_2.5.2-15.dsc 24-Apr-2019 17:19 2195 flint_2.5.2.orig.tar.gz 24-Apr-2019 17:19 2M libflint-2.5.2_2.5.2-15_mips64el.deb 24-Apr-2019 17:19 768K libflint-dev_2.5.2-15_mips64el.deb 24-Apr-2019 17:19 146K libflint-doc_2.5.2-15_all.deb 24-Apr-2019 17:19 2M