../ fplll-tools_4.0.4-2_amd64.deb 10-Mar-2016 09:51 32K fplll-tools_4.0.4-2_i386.deb 10-Mar-2016 09:55 31K fplll_4.0.4-2.debian.tar.xz 10-Mar-2016 09:55 4532 fplll_4.0.4-2.dsc 10-Mar-2016 09:55 2114 fplll_4.0.4.orig.tar.gz 10-Mar-2016 09:55 404K libfplll-dev_4.0.4-2_amd64.deb 10-Mar-2016 09:45 136K libfplll-dev_4.0.4-2_i386.deb 10-Mar-2016 10:33 129K libfplll0_4.0.4-2_amd64.deb 10-Mar-2016 10:11 115K libfplll0_4.0.4-2_i386.deb 10-Mar-2016 10:14 109K