Module Name: src
Committed By: mrg
Date: Mon Feb 7 09:33:45 UTC 2022
Modified Files:
src/doc: 3RDPARTY
Log Message:
update GMP info.
To generate a diff of this commit:
cvs rdiff -u -r1.1834 -r1.1835 src/doc/3RDPARTY
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.