A newer version (2.4) is available on http://flintlib.org/ .
It supports GMP: these means it should work on Debian smoothly again. Best regards, m -- http://bodrato.it/papers/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org