Filename Modification time Size flint-arb_2.11.1-2build1.debian.tar.xz 2018-01-24 23:24 CET 3476 B flint-arb_2.11.1-2build1.dsc 2018-01-24 23:24 CET 2209 B flint-arb_2.11.1.orig.tar.gz 2017-11-09 06:29 CET 1220 KiB flint-arb_2.17.0-1.debian.tar.xz 2019-10-25 22:05 CEST 3972 B flint-arb_2.17.0-1.dsc 2019-10-25 22:05 CEST 2171 B flint-arb_2.17.0.orig.tar.gz 2019-10-25 22:05 CEST 1552 KiB flint-arb_2.22.1-1.debian.tar.xz 2022-01-31 18:24 CET 4900 B flint-arb_2.22.1-1.dsc 2022-01-31 18:24 CET 2173 B flint-arb_2.22.1.orig.tar.gz 2022-01-31 18:24 CET 1862 KiB flint-arb_2.23.0-1build1.debian.tar.xz 2022-07-16 12:28 CEST 5060 B flint-arb_2.23.0-1build1.dsc 2022-07-16 12:28 CEST 2169 B flint-arb_2.23.0.orig.tar.gz 2022-07-10 07:38 CEST 1943 KiB libflint-arb-dev_2.11.1-2build1_amd64.deb 2018-01-25 06:54 CET 35 KiB libflint-arb-dev_2.11.1-2build1_i386.deb 2018-03-14 12:12 CET 35 KiB libflint-arb-dev_2.17.0-1_amd64.deb 2019-10-25 23:38 CEST 38 KiB libflint-arb-dev_2.22.1-1_amd64.deb 2022-01-31 19:09 CET 42 KiB libflint-arb-dev_2.23.0-1build1_amd64.deb 2022-07-17 12:58 CEST 43 KiB libflint-arb-doc_2.11.1-2build1_all.deb 2018-01-25 06:54 CET 14 KiB libflint-arb-doc_2.17.0-1_all.deb 2019-10-25 23:38 CEST 17 KiB libflint-arb-doc_2.22.1-1_all.deb 2022-01-31 19:09 CET 622 KiB libflint-arb-doc_2.23.0-1build1_all.deb 2022-07-17 12:58 CEST 630 KiB libflint-arb2_2.11.1-2build1_amd64.deb 2018-01-25 06:54 CET 769 KiB libflint-arb2_2.11.1-2build1_i386.deb 2018-03-14 12:12 CET 855 KiB libflint-arb2_2.17.0-1_amd64.deb 2019-10-25 23:38 CEST 926 KiB libflint-arb2_2.22.1-1_amd64.deb 2022-01-31 19:09 CET 1218 KiB libflint-arb2_2.23.0-1build1_amd64.deb 2022-07-17 12:58 CEST 1271 KiB