Merge pull request #579 from bobot/master

[why3] package for version 0.81
why3: updated info fields
updated fields and removed why.install
relax constraints on core packages
Revert "Update meta-tpl.diff"

This reverts commit 17710b5d22a407576b1fe3e83f66830c2febff54.

closes #580
Import patch from Damien Doligez
Merge branch 'master' of github.com:OCamlPro/opam-repository
add atd.1.0.3 update
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