add utop 1.3.0
Added release 109.07.00 of packages of the core suite
tstp-proof-checker 0.1
switch mlgmp to building using OASIS to work around build breakage on MacOS X with manually written Makefile
Merge pull request #351 from mirage/master

add utop and fix mlgmp
Changed the maintainer of core packages
Merge pull request #350 from jane-street/master

release 109.07.00 of the core suite
Changed the maintainer of previous core packages
Merge pull request #352 from jane-street/master

Change the maintainer of all core packages
type_conv.109.07.00 is for >= 4.00.0 only
closes #354
small fix, no version update
[Alt-ergo] 0.94 -> 0.95 url and md5sum
[Alt-ergo] 0.95 add altgr-ergo and API
Merge pull request #355 from camlspotter/pr

small fix, no version update
Merge pull request #356 from bobot/master

Alt-Ergo 0.95
add a temporary restriction on the latest Core to only build on Linux until the next point releases fixes the issue.

While we could add a more relaxed constraint on just Core and not the sub-packages, there are a few issues in the solver heuristics that prevent this from currently working (@samoht is looking into it)
Revert "add a temporary restriction on the latest Core to only build on Linux until the next point releases fixes the issue."

This reverts commit 2ff7a6aa7d8510732812601efdcb36f7af0bb3e7.
fix the checksum in latest typerex
Add oasis dependency to utop 1.3
disable -warn-error for all Core's 109.07.00 packages