../ fplll-tools_4.0.4-2_amd64.deb 27-Sep-2017 12:45 32K fplll-tools_4.0.4-2_i386.deb 27-Sep-2017 12:01 31K fplll_4.0.4-2.debian.tar.xz 27-Sep-2017 12:10 4532 fplll_4.0.4-2.dsc 27-Sep-2017 12:10 2114 fplll_4.0.4.orig.tar.gz 27-Sep-2017 12:10 404K libfplll-dev_4.0.4-2_amd64.deb 27-Sep-2017 13:25 136K libfplll-dev_4.0.4-2_i386.deb 27-Sep-2017 12:53 129K libfplll0_4.0.4-2_amd64.deb 27-Sep-2017 15:54 115K libfplll0_4.0.4-2_i386.deb 27-Sep-2017 14:20 109K