../ fplll-tools_5.4.5-1.1build1_amd64.deb 23-Dec-2024 20:10 34200 libfplll-dev_5.4.5-1.1build1_amd64.deb 23-Dec-2024 14:29 2731584 libfplll8-data_5.4.5-1.1build1_all.deb 23-Dec-2024 13:11 1398700 libfplll8t64_5.4.5-1.1build1_amd64.deb 23-Dec-2024 16:03 2632932