Add rope 0.5
Merge pull request #617 from mirage/master

re 1.2.1
Merge pull request #616 from Chris00/master

Add rope 0.5
Add "conflicts:" where needed.
Merge remote-tracking branch 'origin/master'
Update milter 1.0.0 using oasis2opam.

The maintainer's email was changed by hand because no email is present
in the _oasis file.
Remove the conflict spf ↔ milter (milter fixed).
Update utop and remove conflict with optcomp.
Merge pull request #618 from Chris00/master

 Add "conflicts:" where needed.
oasis2opam 0.2.4
Merge pull request #619 from Chris00/master

oasis2opam 0.2.4
Rename gsl-ocaml to gsl (with Markus' agreement).
Modify gsl descr (not yet integrated in _oasis).
Remove gsl-ocaml (replaced by gsl).
Merge pull request #620 from Chris00/master

Rename gsl-ocaml to gsl (with Markus' agreement).
Update dependencies gsl-ocaml → gls.
Update gpr 1.1.0 using oasis2opam
Update libsvm-ocaml
Merge pull request #622 from Chris00/master

Update dependencies gsl-ocaml → gls + fixes
core 109.18.00-rc1