summaryrefslogtreecommitdiff
path: root/modules/libgmp
Commit message (Expand)AuthorAgeFilesLines
* libgmp: add <gmp/gmp.h> supportPaul Eggert2020-08-061-2/+9
* libgmp: remove dependency on havelibPaul Eggert2020-07-261-1/+0
* libgmp: Link to the correct shared library.Bruno Haible2020-07-121-1/+2
* libgmp: new modulePaul Eggert2020-07-061-0/+42