Merge pull request #576 from Chris00/master

Add Gammu v0.9.1
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
updated fields and removed why.install
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
Add ibx.0.5.0
Merge pull request #585 from olgu/ibx

Add ibx.0.5.0
Add csv v1.2.4