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. <[email protected]> Imagine a large red swirl here.

