OCamlPro/opam-repository — pull request #985 by fferreira (2013-08-16 18:02:11+00:00)
Title: Installation package for the Beluga proof developement language

For reference on what Beluga exactly is please refer to: http://complogic.cs.mcgill.ca/beluga/

Thx.