../ libflint-2.5.2_2.5.2-19_armhf.deb 19-Dec-2018 22:08 734552 libflint-2.6.3_2.6.3-3_armhf.deb 30-Oct-2020 10:08 1301120 libflint-dev_2.5.2-19_armhf.deb 19-Dec-2018 22:08 968976 libflint-dev_2.6.3-3_armhf.deb 30-Oct-2020 10:08 1624000 libflint-doc_2.5.2-19_all.deb 04-Nov-2018 00:30 2421032 libflint-doc_2.6.3-3_all.deb 25-Oct-2020 10:07 3515528