Merge pull request #823 from dsheets/patch-6

monadlib needs batteries >= 2.0
Merge pull request #824 from dsheets/patch-7

github rebuilt the ocaml-zmq tarball
voaacenc.0.1.0 needs ocamlfind

It's used in the remove action.
Merge pull request #825 from dsheets/patch-8

voaacenc.0.1.0 needs ocamlfind
ssl.0.9.6: use pkg-config on openbsd to detect libssl correctly
Merge branch 'master' of git://github.com/mirage/opam-repository
ackdo-reloaded requires kaputt

@rgrinberg is this correct?
Fix ackdo-reloaded opam metadata syntax error
Merge pull request #827 from mirage/master

fix ssl on openbsd
Merge pull request #826 from dsheets/patch-9

ackdo-reloaded requires kaputt
Merge pull request #812 from dsheets/opa-base-notty

opa-base notty patch
Package mlorg.0.1.
core 109.31.00-rc1
[Coq] extract coqide into it's own package coqide
Merge pull request #829 from asmanur/master

Added mlorg package
Merge pull request #831 from bobot/coqide

[Coq] extract coqide into it's own package coqide
restrict ibx to {<"109.24.00"}

This is necessary but not sufficient to compile with the latest Core

/cc maintainer @olgu
Merge pull request #833 from mirage/master

start fixing ibx compilation with latest Core
Added parmap version 1.0-rc3 (adds manpages)
Merge pull request #834 from rdicosmo/master

Added Parmap v 1.0-rc3