../ fplll-tools_4.0.4-2_amd64.deb 18-May-2014 20:23 32K fplll-tools_4.0.4-2_i386.deb 18-May-2014 21:28 31K fplll_4.0.4-2.debian.tar.xz 18-May-2014 20:23 4532 fplll_4.0.4-2.dsc 18-May-2014 20:23 2114 fplll_4.0.4.orig.tar.gz 18-Jun-2013 03:51 404K libfplll-dev_4.0.4-2_amd64.deb 18-May-2014 20:23 136K libfplll-dev_4.0.4-2_i386.deb 18-May-2014 21:28 129K libfplll0_4.0.4-2_amd64.deb 18-May-2014 20:23 115K libfplll0_4.0.4-2_i386.deb 18-May-2014 21:28 109K