../ flint-arb_2.8.1-3.debian.tar.xz 29-Oct-2016 00:29 5876 flint-arb_2.8.1-3.dsc 29-Oct-2016 00:29 2131 flint-arb_2.8.1.orig.tar.gz 19-Apr-2016 00:56 1015K libflint-arb-dev_2.8.1-3_amd64.deb 29-Oct-2016 02:26 30K libflint-arb-dev_2.8.1-3_i386.deb 29-Oct-2016 02:41 30K libflint-arb-doc_2.8.1-3_all.deb 29-Oct-2016 02:56 11K libflint-arb1_2.8.1-3_amd64.deb 29-Oct-2016 02:26 819K libflint-arb1_2.8.1-3_i386.deb 29-Oct-2016 02:41 899K