relax constraints on core packages
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
ocp-build version 1.99.5-beta
Merge pull request #589 from lefessan/typerex

Typerex 1.99-5-beta
updated description (authors, license)
Merge pull request #590 from backtracking/master

updated description
Update re.install

"re_pcre.cmi" listed 2 times
Merge pull request #591 from blue-prawn/master

"re_pcre.cmi" listed 2 times
only one-line description
Merge pull request #593 from claudemarche/master

fixed description of why3 0.81
update urls for atd and atdgen
Merge pull request #594 from amirmc/atdgen-url-update

update urls for atd and atdgen
Remove passwdgen as there is no license in the distributed files (and hence we are not allowed to distribute it)
Add ibx-0.5.1
Merge pull request #596 from olgu/ibx

Add ibx-0.5.1