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