../ fplll-tools_4.0.4-2_amd64.deb 18-May-2014 11:28 29946 fplll-tools_4.0.4-2_i386.deb 18-May-2014 11:28 28778 libfplll-dev_4.0.4-2_amd64.deb 18-May-2014 11:28 136650 libfplll-dev_4.0.4-2_i386.deb 18-May-2014 11:28 129178 libfplll0_4.0.4-2_amd64.deb 18-May-2014 11:28 113796 libfplll0_4.0.4-2_i386.deb 18-May-2014 11:28 106960