../ fplll-tools_4.0.4-2_amd64.deb 28-May-2020 21:29 29946 fplll-tools_5.2.0-3build1_amd64.deb 28-May-2020 17:37 40080 libfplll-dev_4.0.4-2_amd64.deb 28-May-2020 21:31 136650 libfplll-dev_5.2.0-3build1_amd64.deb 28-May-2020 17:55 62752 libfplll0_4.0.4-2_amd64.deb 28-May-2020 21:26 113796 libfplll4_5.2.0-3build1_amd64.deb 28-May-2020 17:57 1121348