Learn more about cloning repositories
You have read-only access
Revert "gmp: bump to version 5.1.2" This reverts commit 78927d3f92f0a397e9551dee491e26602e63a30a. This was supposed to have been for next, not 2013.05.
