Hi,a few days ago, bug #702898 asked to add the static libraries to the libfplll-dev package. Yesterday, I committed a fix to the git repository for the package.
It would be nice if someone could check I did a good job and upload the result.
Thanks, Snark on #debian-science -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
