Merge pull request #892 from mirage/master

some depexts, and fix Core URLs and dose package
Added pareto-0.2
Merge pull request #893 from superbobry/master

Added pareto
Fix opam-repository.
Merge pull request #895 from vbmithr/master

Fix the repository