Closed jdemeyer closed 6 years ago
It seems that fplll
does not install this header file. So either:
fplll
that it doesn't install this headeror
fpylll
that it wants to use a private fplll
headerThis was fixed in commit fplll/fplll@2c9c9a25872500a5ddeb685b8448473a7885b4d1 we should probably cut a release, though.
we should probably cut a release, though.
+1 otherwise it's hard to use on ReadTheDocs
Building the docs on ReadTheDocs is failing (since a while) with