Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
added ocamltter.2.0.1
Merge remote-tracking branch 'upstream/master' into pr
[Why3] update to 0.81 and install the library
Merge pull request #579 from bobot/master

[why3] package for version 0.81
why3: updated info fields
OMyMakefile change without version increment
updated fields and removed why.install
Merge remote-tracking branch 'upstream/master' into pr
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