mirage/mirage — pull request #341 by talex5 (2014-12-19 16:50:21+00:00)
Title: Don't reverse order of C libraries

Looks like they were sorted correctly in the first place. Needed to link zarith, whose C stubs depend on those from gmp.