opam-version: "2.0"
maintainer: "fferre8@cs.cmgill.ca"
build: [["omake" "NATIVE_ENABLED=true"]]
depends: [
  "ocaml" {< "4.02.0"}
  "ocamlfind"
  ("extlib" | "extlib-compat")
  "ulex"
  "omake"
  "ounit"
]
synopsis:
  "A Language for programming and reasoning using Higher-Order Abstract Syntax"
extra-files: ["beluga.install" "md5=a49e7c297536db228e125ee677e49c1d"]
url {
  src: "http://complogic.cs.mcgill.ca/beluga/beluga-0.5-20130207.tar.gz"
  checksum: "md5=27ca78189f8e5e4346e4850c2faa4bd0"
}
