../ fplll-tools_5.4.4-3_amd64.deb 16-Jan-2023 13:14 40924 fplll_5.4.4-3.debian.tar.xz 16-Jan-2023 08:55 8920 fplll_5.4.4-3.dsc 16-Jan-2023 08:55 2149 fplll_5.4.4.orig.tar.gz 06-Jan-2023 16:01 2336288 libfplll-dev_5.4.4-3_amd64.deb 16-Jan-2023 13:14 2358688 libfplll8-data_5.4.4-3_all.deb 16-Jan-2023 09:41 1448240 libfplll8_5.4.4-3_amd64.deb 16-Jan-2023 13:14 2219204