| Fri, 09 Feb 2018 16:27:52 +0100 | wenzelm | support for libgmp for x86_64-darwin; | changeset | files |
| Fri, 09 Feb 2018 14:28:24 +0100 | wenzelm | built-in library path for (optional) libgmp on macos; | changeset | files |
| Fri, 09 Feb 2018 11:47:18 +0100 | wenzelm | removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required; | changeset | files |