Package: fplll-tools Version: 5.2.1-2 Severity: normal Dear Debian science team,
man fplll says: See /usr/share/doc/libfplll-dev/README.html from the libfplll-dev package for more details. However the file /usr/share/doc/libfplll-dev/README.html does not exist. In particular the manpage should document what input matrices format are supported. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.