../ flint-arb_2.19.0-1.debian.tar.xz 08-Dec-2020 15:16 4720 flint-arb_2.19.0-1.dsc 08-Dec-2020 15:16 2211 flint-arb_2.19.0.orig.tar.gz 08-Dec-2020 15:16 2M flint-arb_2.23.0-1.debian.tar.xz 10-Jul-2022 03:47 4996 flint-arb_2.23.0-1.dsc 10-Jul-2022 03:47 2170 flint-arb_2.23.0.orig.tar.gz 10-Jul-2022 03:47 2M libflint-arb-dev_2.19.0-1_amd64.deb 08-Dec-2020 16:27 40K libflint-arb-dev_2.19.0-1_i386.deb 08-Dec-2020 17:13 40K libflint-arb-dev_2.23.0-1+b1_amd64.deb 15-Jul-2022 12:40 44K libflint-arb-dev_2.23.0-1+b1_i386.deb 15-Jul-2022 12:55 44K libflint-arb-doc_2.19.0-1_all.deb 08-Dec-2020 15:56 574K libflint-arb-doc_2.23.0-1_all.deb 10-Jul-2022 04:12 635K libflint-arb2_2.19.0-1_amd64.deb 08-Dec-2020 16:27 939K libflint-arb2_2.19.0-1_i386.deb 08-Dec-2020 17:13 1M libflint-arb2_2.23.0-1+b1_amd64.deb 15-Jul-2022 12:40 1M libflint-arb2_2.23.0-1+b1_i386.deb 15-Jul-2022 12:55 1M