Use the upstream build system to compile dose
Merge branch 'master' of github.com:ocaml/opam-repository
Merge pull request #2477 from vbmithr/master

Added websocket.0.9
Merge pull request #2476 from samoht/dose3

Dose3
Fix compilation of dose3 on 4.02

Due to a change in ocamlbuild, the binaries do not compile anymore.
Merge pull request #2478 from samoht/dose3

Fix compilation of dose3 on 4.02
Add a profiling switch for 4.01
Merge branch 'master' of github.com:ocaml/opam-repository into prof
Merge pull request #2479 from samoht/prof

Profiling switch
Add debug information when profiling
Fix opam version in websocket
Merge pull request #2481 from samoht/prof

Add debug information when profiling
Merge pull request #2480 from samoht/websocket

Fix opam version in websocket
odb-server: needs camlp4o
ocamldsort: depends on camlp4
CamlGI: depends on camlp4
frama-c: depends on camlp4
Merge pull request #2482 from avsm/needs-camlp4

Packages that need camlp4 in 4.02
Merlin v1.7.1 bugfix release

v1.7 vim-mode install script relied on a GNU tool, it didn't work for BSDs users
Add tptp 0.3.1