tstp-proof-checker 0.1
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.
Merge pull request #357 from janestreet/master

Disable -warn-error for Core packages
Speculative package definition for PPrint.
Checksum changed.
Split the rules for pprint in two steps.

- The TO_INSTALL Makefile variable is computed at the beginning of a call to
make, so it doesn't work in one call because the cmx files are not there
initially.
Merge pull request #358 from protz/my

Add PPrint to the list of OPAM packages
3.11.2 compiler.
update required version
Merge branch 'master' of github.com:OCamlPro/opam-repository
Remove broken utop
dose: fix "unix" duplication
Merge pull request #361 from lefessan/typerex

dose: fix "unix" duplication
Merge pull request #359 from smimram/master

OCaml 3.11.2
Fix 3.11.2 patch url
update wyrd to 1.4.6; support OCaml 4
ReactiveML Package.
Add piqi-0.6.0
Constraint core.109.07.00 as Linux-only due to various incompatibilities, notably on MacOS X.

This should prevent forced upgrades by mistake that will always break on this
version.  Note that you require the latest opam
(3fb1a97d72bd00bae05122c844b48b28704e87af) to have a solver that can handle
this situation.
Merge pull request #364 from mirage/master

constraint core.109.07.00 as Linux-only