Add tptp-0.2.0
Add ibx-0.5.7
Update ocaml version
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
Merge git://github.com/OCamlPro/opam-repository into vector3_0.1
Merge pull request #710 from HappyCrow/vector3_0.1

new package Vector3 0.1
Merge pull request #708 from blue-prawn/patch-3

fixed homepage
Merge pull request #709 from blue-prawn/patch-4

fixed homepage
Merge branch 'master', remote-tracking branch 'upstream/master'