added ocamlspot
ocamlspot.vim installation
Merge remote-tracking branch 'upstream/master' into pr
compiler-libs is gone
Merge remote-tracking branch 'upstream/master' into pr
Add GODI META file for lablgl as it is not available uptream
Add missing install file to lablgl
Add ocaml sources
Fix cduce_ws
Fix compiler constraints in ocaml-src
Add coq 8.3 and fix url for 8.4
Fix why3 dependency on coq
Add camlzip 1.05

Fix #147
Add latest version of weberizer
Add flac and ogg (part of #146)
Melt doesn't build at all without cairo
Fix coq 8.3
Fix camlzip constraints
Fixed syslog package
Remove camlzip.1.05 for now on, as version constraints in depopts doesn't work very well in OPAM yet.