why3: updated info fields
updated fields and removed why.install
relax constraints on core packages
Import patch from Damien Doligez
Merge branch 'master' of github.com:OCamlPro/opam-repository
Merge pull request #582 from mirage/master

atd 1.0.3
Merge branch 'master' of github.com:OCamlPro/opam-repository
better description for package why 2.31
why 2.32: relaxed dependency upon alt-ergo
Merge pull request #583 from claudemarche/master

Updated package for why 2.31, why 2.32 and why3 0.81
Add ibx.0.5.0
Merge pull request #585 from olgu/ibx

Add ibx.0.5.0
Add csv v1.2.4
Improve the description of gsl-ocaml.
Merge pull request #586 from Chris00/master

Add csv v1.2.4
new package ocamlwc
Merge branch 'master' of github.com:OCamlPro/opam-repository
core 109.17.00-rc1
fix urls of core's 109.17.00 packages
typerex version 1.99.5-beta