Please change to

Vincent Lefevre vincent at
Fri Sep 30 12:20:20 CEST 2022


The GMP manual doc/gmp.texi currently has @url{}.
But is poorly handled by Inria (no certificate and the
redirection to does not always work,
possibly to a temporary URL like currently, as one obtains This URL should be changed to

The URL in doc/projects.html should be updated too.


Vincent Lefèvre <vincent at> - Web: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

More information about the gmp-bugs mailing list