../ libflint-arb-dev_2.19.0-1_amd64.deb 16-Dec-2022 11:29 40844 libflint-arb-dev_2.19.0-1_arm64.deb 16-Dec-2022 11:47 40844 libflint-arb-dev_2.19.0-1_i386.deb 16-Dec-2022 11:33 40844 libflint-arb-doc_2.19.0-1_all.deb 16-Dec-2022 12:01 587980 libflint-arb2_2.19.0-1_amd64.deb 16-Dec-2022 09:30 961384 libflint-arb2_2.19.0-1_arm64.deb 16-Dec-2022 11:22 895948 libflint-arb2_2.19.0-1_i386.deb 16-Dec-2022 11:17 1063200