Added lacaml-7.0.7
Merge pull request #301 from mmottl/master

Updated Lacaml to version 7.0.7
Add sedlex package.
Add md5 checksum.
Merge pull request #302 from alainfrisch/master

Please add OPAM package for sedlex
[coq.8.4pl1] Replace version 8.4 by 8.4pl1

Fix a compilation issue of Coq 8.4 with lablgtk 2.16.0
Fix compilation issue with bin/coqtop.byte.
 Cf. https://sympa.inria.fr/sympa/arc/coq-club/2013-01/msg00067.html
[coq.8.4pl1] fix: the target bin/coqide.byte override CAML_LD_LIBRARY_PATH

The error was:
OCAMLC -o bin/coqide.byte
File "ide/coqide_main.ml4", line 1:
Error: Error on dynamically loaded library: dlllablgtk2.so: dlllablgtk2.so: cannot open shared object file: No such file or directory
Merge pull request #303 from bobot/master

update coq8.4 to coq8.4pl1 and fix build problems
Add typerex 1.99.0-beta
eliom.3.0.3: add Grégoire's int64 patch
ocsigenserver.2.2.0: make dbm an optional dependency
ocsigenserver.2.2.0: depend on dbm OR sqlite
Updated GPR to version 1.1.0
Merge pull request #305 from smondet/fix_eliom_int64

eliom.3.0.3: add Grégoire's int64 patch
Merge pull request #309 from mmottl/master

Updated GPR to version 1.2.0
Merge pull request #307 from smondet/make_dbm_optional

Make dbm optional for OCsigenserver
Updated ocurl by a version that works
Merge remote-tracking branch 'ocamlpro/master' into typerex
typerex version 1.99.0-beta
typerex version 1.99.0-beta