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