humane re initial version
Merge pull request #1999 from rgrinberg/humane_re

humane re initial version
Merge pull request #1998 from whitequark/master

inotify: add a depopt on lwt.
fix irminsule dependency (sha1 -> sha)

spotted by @AltGr, who is also improving the opamfu error message
upon encountering such incorrect dependencies
minor release of core
Merge pull request #2002 from avsm/master

fix irminsule dependency (sha1 -> sha)
Merge pull request #2003 from janestreet/master

minor release of core
fix auto-conflict and auto-depopts of lwt
Merge pull request #2004 from samoht/master

fix auto-conflict and auto-depopts of lwt
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.