OCamlPro/opam-repository — pull request #165 by fmp88 (2012-10-24 12:18:13+00:00)
Title: Adding two more packages

Added two more packages:

-boolean expression simplifier (bes)

-promela language package