On Feb 2, 2016, at 10:29 PM, Sebastian Huber <sebastian.hu...@embedded-brains.de> wrote: > If it is so basic to choose the latest release or the one on the system, then > why uses the contrib/download_prerequisites ancient versions, e.g. the six > year old GMP 4.3.2?
Because no one has seen fit to update it? I’ll plead ignorance why bumping to the latest release would be bad/wrong.
