../ flint_2.5.2-19.debian.tar.xz 11-Apr-2020 05:59 8436 flint_2.5.2-19.dsc 11-Apr-2020 05:59 2149 flint_2.5.2.orig.tar.gz 11-Apr-2020 05:59 2158692 libflint-2.5.2_2.5.2-19_amd64.deb 11-Apr-2020 05:59 915504 libflint-2.5.2_2.5.2-19_i386.deb 11-Apr-2020 05:59 1005980 libflint-dev_2.5.2-19_amd64.deb 11-Apr-2020 05:59 1159320 libflint-dev_2.5.2-19_i386.deb 11-Apr-2020 05:59 1252580 libflint-doc_2.5.2-19_all.deb 11-Apr-2020 05:59 2421032