updated ocaml-inotify version
Merge branch 'master', remote-tracking branch 'upstream/master'
Updates from the original repo
Merge pull request #700 from Chris00/master

csv 1.3.0
atdgen.1.2.3 requires atd.1.0.2 or greater

the fix in #592 was wrong for this version
Merge pull request #701 from mirage/master

fix atdgen 1.2.3 (again)
Add tptp-0.2.0
cohttp.0.9.7
github.0.5.0
Merge pull request #703 from mirage/master

cohttp and github updates
Add ibx-0.5.7
OPAM package for OCamlMySQLProtocol v0.7
cohttp.0.9.7: cstruct dependency (not strictly needed, but in the _oasis file by mistake)

closes #704
Merge pull request #707 from mirage/master

fix cohttp missing depend
Update ocaml version
Merge branch 'master', remote-tracking branch 'upstream/master'
Merge pull request #705 from olgu/ibx

Add ibx-0.5.7
fixed homepage

corrected homepage links
fixed homepage

corrected the link to the homepage
Merge pull request #702 from radekm/master

Add tptp-0.2.0
added new package vector3