../ libflint-2.5.2_2.5.2-21build1_arm64.deb 22-Mar-2020 19:59 835984 libflint-2.8.4_2.8.4-2build1_arm64.deb 10-Dec-2021 01:14 2317292 libflint-dev_2.5.2-21build1_arm64.deb 22-Mar-2020 19:59 1115608 libflint-dev_2.8.4-2build1_arm64.deb 10-Dec-2021 01:14 2852586 libflint-doc_2.5.2-21build1_all.deb 22-Mar-2020 17:31 2328908 libflint-doc_2.8.4-2build1_all.deb 10-Dec-2021 00:05 3619026