ocaml-inotify package
added omake-mode package
ocaml-inotify -> inotify.  added md5sums to inotify, omake-mode
better inotify and omake-mode packages
omake-mode release $version
omake-mode release $version
omake-mode version updates
omake-mode release 1.1
omake-mode.1.0
omake-mode release 1.0
omake-mode 1.0
omake-mode release 1.0
omake-mode release 1.0
omake-mode release 1.0
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.
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