Kate Minola <kminola at po0.glue.umd.edu> writes: > > Perhaps it needs to be updated for gmp version 4.1.3? Now done. -- All followups to gmp-bugs at swox.com please.