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
+ocaml.4.02.1+32bit
Update Travis config to use OCaml 4.02.1
Merge pull request #2868 from yallop/travis-ocaml-4.02.1

Update Travis config to use OCaml 4.02.1
+camlp4.4.02.1+system
Sync latest compiler pull requests
Improve the llvm package
Add Darwin support to 4.02.1+32bit.
Merge pull request #2865 from whitequark/4.02.1+32bit

+ocaml.4.02.1+32bit
Merge pull request #2870 from bactrian/sync-prs-1413327601

Sync OCaml compiler PRs
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.