The number of jobs for Coq can be set
Bug fix
Add the xapi statistics gathering daemon

Signed-off-by: David Scott <dave.scott@citrix.com>
xapi-rrdd depends on oclock

Signed-off-by: David Scott <dave.scott@citrix.com>
Updated sqlite3-ocaml
relax constraint on stog for stog-rdf: < 0.14
add stog-writing 0.13.0
add xmldiff 0.4.0
git pushMerge branch 'master' of
https://github.com/OCamlPro/opam-repository
Update to xapi-rrdd.0.9.8

Signed-off-by: David Scott <dave.scott@citrix.com>
Sync latest compiler pull requests
Add caravan 0.0.2
Merge pull request #2848 from bactrian/sync-prs-1412809202

Sync OCaml compiler PRs
Merge pull request #2839 from djs55/xapi-rrdd

Add the xapi statistics gathering daemon
Add xapi-squeezed.0.10.7

Signed-off-by: David Scott <dave.scott@citrix.com>
Add package for ocaml-statsd-client 1.0.1.
Merge pull request #2851 from mfp/statsd

Add package for ocaml-statsd-client 1.0.1.
xapi-squeezed: add a constraint to the cohttp dependency

Signed-off-by: David Scott <dave.scott@citrix.com>
fPIC_compiler
Add SLAP 0.2.1