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
small fix, no version update
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.