Merge branch 'master', remote-tracking branch 'upstream/master'
conf-* pkg to explicit dependency to the lib curl
conf-* pkg to explicit dependency to the lib ffi
conf-* pkg to explicit dependency to the lib pcre
conf-* pkg to explicit dependency to the lib glew
conf-* pkg to explicit dependency to the lib ftgl
conf-* pkg to explicit dependency to the lib png
conf-* pkg to explicit dependency to the lib gsl
conf-* pkg to explicit dependency to the lib expat
conf-* pkg to explicit dependency to the lib lua
conf-* pkg to explicit dependency to the lib cairo
removed doubled name
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