../ flint-arb_2.8.1-1.debian.tar.xz 18-Apr-2016 16:56 2600 flint-arb_2.8.1-1.dsc 18-Apr-2016 16:56 2148 flint-arb_2.8.1.orig.tar.gz 18-Apr-2016 16:56 1039005 libflint-arb-dev_2.8.1-1_amd64.deb 18-Apr-2016 16:56 30786 libflint-arb-dev_2.8.1-1_i386.deb 28-Apr-2016 15:28 30836 libflint-arb-doc_2.8.1-1_all.deb 18-Apr-2016 16:56 11412 libflint-arb1_2.8.1-1_amd64.deb 18-Apr-2016 16:56 838702 libflint-arb1_2.8.1-1_i386.deb 28-Apr-2016 15:28 922394