5ecb4a4
- Rebuild for OCaml 3.12 (http://fedoraproject.org/wiki/Features/OCaml3.12). - Remove GMP_RND_MAX and mpfr_random, both no longer in GMP/MPFR.