Add ocaml-git 0.9.0
Fix removal of git.0.9.0 and compiler constraints
Fix Travis CI when a non-installable package is a subword of an installabe one
Add UDUNITS-2 bindings
Add PROJ.4 bindings
Add TestSimple
fix(simple-bmc): update information, add more expression

1. correct license information
2. add integral expression
fix author list
updated
Merge pull request #1538 from pw374/master

omd 0.9.1
Merge pull request #1537 from pondering/master

fix(simple-bmc): update information, add more expression
Merge pull request #1534 from samoht/master

Add ocaml-git 0.9.0
Merge pull request #1536 from hcarty/master

Add UDUNITS-2 and PROJ.4 bindings, TestSimple
Merge pull request #1539 from UnixJunkie/dolog_0.5

updated
remove the res dependency of core_kernel, core and core_extended
Add ocaml-leveldb 1.0.0.
Add obigstore 0.9.0.
Add virtual package conf-leveldb.1, make ocaml-leveldb.1.0.0 depend on it.
Replace obigstore.0.9.0 with obigstore.0.9.1.
[Why3] new version 0.82