Re 1.2.2
Re 1.2.2: remove 'files' directory
Re 1.2.2: changed the maintainer
opium 0.8.1
Merge pull request #2007 from vouillon/master

Re 1.2.2
Merge pull request #2008 from rgrinberg/opium081

opium 0.8.1
Remove broken re.install files
Fix and update why3
Merge pull request #2009 from samoht/master

Remove broken re.install files
Merge pull request #2010 from jpdeplaix/master

Fix and update why3
inotify: add forgotten base-unix dependency.
Merge pull request #2012 from whitequark/master

inotify: add forgotten base-unix dependency.
Merge branch 'master' of git://github.com/ocaml/opam-repository into camlp4-deps
camomile: add camlp4 dependency