updates for spotlib.2.3.0
Merge remote-tracking branch 'upstream/master' into pr
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
Merge pull request #835 from mirage/master

ocamlot fixes
meta_conv works on the 4.00.x line
Merge pull request #836 from dsheets/patch-10

meta_conv works on the 4.00.x line
restrict meta_conv to linux, as the omake invocation never terminates on bsd/macos x
meta_conv 1.1.x works on OCaml 4.00.x
Merge pull request #837 from dsheets/meta_conv

meta_conv 1.1.x works on OCaml 4.00.x