../ fplll-tools_5.2.1-2_amd64.deb 26-Sep-2018 19:29 45216 fplll_5.2.1-2.debian.tar.xz 26-Sep-2018 18:23 7184 fplll_5.2.1-2.dsc 26-Sep-2018 18:23 2083 fplll_5.2.1.orig.tar.gz 04-Jul-2018 07:54 970350 libfplll-dev_5.2.1-2_amd64.deb 26-Sep-2018 19:29 67828 libfplll5_5.2.1-2_amd64.deb 26-Sep-2018 19:29 1170564