../ fplll-tools_4.0.4-2_amd64.deb 18-May-2014 17:28 29946 fplll_4.0.4-2.debian.tar.xz 18-May-2014 17:18 4532 fplll_4.0.4-2.dsc 18-May-2014 17:18 2114 fplll_4.0.4.orig.tar.gz 18-Jun-2013 06:03 413519 libfplll-dev_4.0.4-2_amd64.deb 18-May-2014 17:28 136650 libfplll0_4.0.4-2_amd64.deb 18-May-2014 17:28 113796