added ocamltter.2.0.1
Merge remote-tracking branch 'upstream/master' into pr
Update meta-tpl.diff

do match the Makefile patch
Merge pull request #577 from blue-prawn/patch-1

Update meta-tpl.diff
[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
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