opam-version: "2.0"
maintainer: "Helmut Brandl <helmut.brandl@gmx.net>"
authors: "Helmut Brandl <helmut.brandl@gmx.net>"
homepage: "http://albatross-lang.sourceforge.net"
license: "GPL-2.0-only"
dev-repo: "git+https://github.com/hbr/albatross.git"
bug-reports: "http://github.com/hbr/albatross"
build: [
  [make "build"]
]
depends: [
  "ocaml" {>= "4.03.0"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "menhir" {build}
]
synopsis: "A compiler for the Albatross programming language"
description: "The Albatross compiler verifies programs statically."
url {
  src: "https://github.com/hbr/albatross/archive/0.4.0.tar.gz"
  checksum: "md5=bfd81f1a042fcf0794bd9dfb8e4591bf"
}
