patch opa-base's configure to not output terminal control sequences
patch for notty first
use git patch
erssical needs xtmpl

xtmpl dep
Merge pull request #822 from dsheets/patch-5

erssical needs xtmpl
monadlib needs batteries >= 2.0
github rebuilt the ocaml-zmq tarball
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
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.
[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