|
| From: | Mike Gran |
| Subject: | [Guile-commits] branch use-minigmp created (now b41aed2) |
| Date: | Sat, 6 Feb 2021 03:42:32 -0500 (EST) |
mike121 pushed a change to branch use-minigmp
in repository guile.
at b41aed2 Enable option to prefer mini-gmp over libgmp
This branch includes the following new commits:
new b41aed2 Enable option to prefer mini-gmp over libgmp
The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
| [Prev in Thread] | Current Thread | [Next in Thread] |