../ fplll-tools_5.3.2-1build1_amd64.deb 22-Mar-2020 17:19 42632 fplll_5.3.2-1build1.debian.tar.xz 22-Mar-2020 16:49 8132 fplll_5.3.2-1build1.dsc 22-Mar-2020 16:49 2141 fplll_5.3.2.orig.tar.gz 14-Jan-2020 05:13 1025192 libfplll-dev_5.3.2-1build1_amd64.deb 22-Mar-2020 17:19 76188 libfplll6_5.3.2-1build1_amd64.deb 22-Mar-2020 17:19 2133604