Add pcf-format.0.0.1
Merge pull request #984 from djs55/pcf-format

Add pcf-format.0.0.1
Installation package for the Beluga proof developement language
camlp5: Add version 6.11

Compatible with OCaml 4.01beta1
Merge pull request #981 from blue-prawn/master

added conf-* pkgs to explicit dependency to some C libs
CamlPDF 1.7.1, which is version 1.7 with a fixed META file
Merge pull request #987 from johnwhitington/master

CamlPDF 1.7.1, which is version 1.7 with a fixed META file
Merge pull request #986 from nbraud/camlp5

camlp5: Add version 6.11
Added graphicspdf 1.1
Merge pull request #988 from johnwhitington/master

GraphicsPDF: A version of OCaml's Graphics library which outputs PDF files
Added camlgpc.1.0
Merge pull request #989 from johnwhitington/master

Added camlgpc.1.0, an interface to Alan Murta's General Polygon Clipper
Merge pull request #985 from fferreira/master

Installation package for the Beluga proof developement language
Added Websocket 0.6, removing old useless releases.
Merge pull request #990 from vbmithr/master

Added Websocket 0.6, removing old useless releases.
Fixed websocket package file.
Merge pull request #991 from vbmithr/master

Fixed websocket package file.
4.01.0beta1: -no-camlp4
Merge pull request #993 from trefis/master

4.01.0beta1: -no-camlp4
merlin.1.3.1: minor release, support version 4.01 of ocaml