patch opa-base's configure to not output terminal control sequences
patch for notty first
use git patch
ackdo-reloaded requires kaputt

@rgrinberg is this correct?
Fix ackdo-reloaded opam metadata syntax error
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
restrict planck to Linux, as the `yes no | omake --install` construct spins endlessly on BSD/Darwin
broken due to errors-as-warnings on latest 4.01trunk
restrict tryocaml to <4.01
ospec is not a depopt for bes, as the build fails without it