fixed ocaml-indent.1.2.0
Merge remote-tracking branch 'upstream/master' into for-pull-request
camlimages.4.1.2 and fix for ocaml 4.02.0
camlimages.4.1.2 and fix for ocaml 4.02.0
fixed uninstall
core 111.28.00 rc1
Add package for Camlhighlight 3.0
Remove 4.01 beta and dev compilers
Merlin v1.7.1 bugfix release

v1.7 vim-mode install script relied on a GNU tool, it didn't work for BSDs users
first trial at packaging it
added git diff output to add the bdd.obuild file
rm files/bdd.obuild since files allowed in there seems to be only git diff outputs
there is one patch to apply
added obuild file
rm packages/bdd/bdd.0.3/files/obuild_file.patch
corrected build command
Add tptp 0.3.1
Normalize URIs in the repository.
Update ocaml-version constraints on all merlin
Merge pull request #2483 from radekm/tptp-0.3.1

Add tptp 0.3.1