The number of jobs for Coq can be set
Bug fix
lwt 2.4.6
OCaml version specified
-j jobs option added to Coq IDE
Older packages updated against OCaml 4.02.0
typo
update checksum
+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
The license of WiringPi is actually LGPL

It was relicensed in the 0.0.1 release, somehow that change slipped while packaging.
Merge pull request #2875 from Leonidas-from-XIV/bugfix/wiringpi-license

The license of WiringPi is actually LGPL
Merge pull request #2860 from diml/master

lwt 2.4.6
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
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