package for boolean expression simplifier (bes) and a package for the promela language
add caml2html-1.4.3 which compiles with ocaml-4

Closes #145
Merge http://github.com/chambart/opam-repository
add safepass-1.2 update

closes #163
Merge branch 'baardskeerder-0.5.1' of http://github.com/Incubaid/opam-repository
add baardskeerder package checksum

for #164
Merge http://github.com/fmp88/opam-repository
correct bes uninstall command

for #165
correct promela descr so the first line is standalone, and relax ospec constraint for future minor revs

for #165
add missing extlib dependency for bes
mascot depends on Cmt_format, which is ocaml>=4.00.0
add package ocaml+twt.0.93
Add descr note about how to install lablgtk on MacOS X

Closes #112
add frama-c Oxygen.

Some optional dependencies are not yet specified, but the core package does build on MacOS X
Merge http://github.com/mlin/opam-repository
add packages for ocaml-yajl
add a compiler variant against 4.00.1 with jacques' patch for shorter type names from  https://yquem.inria.fr/caml/svn/ocaml/branches/short-paths
Merge pull request #167 from mlin/master

add packages for YAJL bindings
add cohttp-0.9.3
Merge http://github.com/OCamlPro/opam-repository