../ libflint-2.5.2_2.5.2-23_amd64.deb 29-Oct-2020 14:17 912248 libflint-2.5.2_2.5.2-23_arm64.deb 29-Oct-2020 14:17 853416 libflint-2.6.3_2.6.3-2_amd64.deb 29-Oct-2020 14:17 1626284 libflint-2.6.3_2.6.3-2_arm64.deb 29-Oct-2020 14:17 1527344 libflint-dev_2.6.3-2_amd64.deb 29-Oct-2020 14:17 1990460 libflint-dev_2.6.3-2_arm64.deb 29-Oct-2020 14:17 1943324 libflint-doc_2.6.3-2_all.deb 29-Oct-2020 14:17 3525100