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
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