Add irmin 0.8.1
Update checksum for irmin 0.8.1
[irmin] Use the Makefile to build the autogen targets
Add Coq 8.4pl4
Merge pull request #2183 from samoht/master

Add irmin 0.8.1
+ezxmlm.1.0.1
Merge pull request #2187 from avsm/master

+ezxmlm.1.0.1
Merge pull request #2186 from cocoatomo/PR/coq.8.4pl4

Add Coq 8.4pl4
Add virtual package for GSASL lib dependency
Add ocaml-gsasl 0.10.0
Merge pull request #2188 from nojb/master

Add ocaml-gsasl 0.10.0 & conf-libgsasl.1
Add ocaml-imap 0.10.0
Merge pull request #2189 from nojb/master

Add ocaml-imap 0.10.0
Add gdal 0.6.0
Merge pull request #2191 from hcarty/gdal-0.6.0

Add gdal 0.6.0
Sync latest compiler pull requests
Add gadelac 0.6
Allow tophide to compile with ocaml < 4.02.0

4.02.0 will need an update due to change to Outcometree.Osig_exception.
Note; tophide is used by mikmatch when it is run in the toplevel.
mikmatch for ocaml 4.01.0

attempts to make pcre backend optional and compiles str by default
revert change - need to use and updated package

will add 1.0.2 instead