async-zmq 0.0.1
Add Coq 8.4pl4
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
add tophide 1.0.2 for ocaml >=4.00 & < 4.02

note; made up version which isn't released upstream (uses commit hash)
fix syntax for optional install and add patch

the patch makes mikmatch_str depend on str rather than pcre so it can be
installed separately.
[Coq] make the dependency between coqide and coq strict
[Coqide] add coqide 8.4pl4