The number of jobs for Coq can be set
Bug fix
OCaml version specified
-j jobs option added to Coq IDE
Older packages updated against OCaml 4.02.0
+camlp4.4.02.1+system
Improve the llvm package
Add Homepage and Doc fields to OUnit 2.0.0, v2.

Canonical homepage and doc links as given by the OUnit author.
change the version constraint for camlp4-system
Merge pull request #2869 from avsm/master

+camlp4.4.02.1+system
Merge pull request #2871 from jpdeplaix/llvm-impr

Improve the llvm package
Merge pull request #2838 from clarus/master

Faster compilation of Coq with the use of -j jobs option
Add merge queues and ropes
Add mirage-fs-unix.1.1.3
Merge pull request #2872 from lehy/patch-2

Add Homepage and Doc fields to OUnit 2.0.0, v2.
Merge pull request #2874 from diml/camlp4-system-for-all-versions

change the version constraint for camlp4-system
xmldiff 0.3.0 and 0.4.0 depend on camlp4
Milter requires OCaml < 4.02.0
Merge pull request #2886 from yallop/milter-ocaml-4.01

Milter 1.0.0 requires OCaml < 4.02.0
+cppo.1.0.0