Add tptp-0.2.0
Add ibx-0.5.7
OPAM package for OCamlMySQLProtocol v0.7
Merge pull request #707 from mirage/master

fix cohttp missing depend
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
Second version for MySQL Protocol library: change name for mysql_protocol
Delete old name version.
Merge pull request #706 from slegrand45/master

Add OCamlMySQLProtocol
angle formula was wrong in the library, releasing a corrected one
created new package for vector3 since there was an error in
the previous release (wrong math forumla for angle, discovered
whie puting unit tests in place...)
Merge pull request #712 from HappyCrow/vector3_0.2

Vector3 0.2