opam-version: "2.0"
maintainer: "protz@microsoft.com"
authors: "Nik Swamy <nswamy@microsoft.com>"
homepage: "http://fstar-lang.org"
license: "Apache-2.0"
depends: [
  "ocaml" {>= "4.02.1" & < "4.06.0"}
  "ocamlfind"
  "batteries"
  "ocamlbuild" {build}
  "num"
]
remove: [
  [ "rm" "-rf"
      "%{prefix}%/lib/fstar"
      "%{prefix}%/doc/fstar"
      "%{prefix}%/etc/fstar"
      "%{prefix}%/bin/fstar"
      "%{prefix}%/share/fstar" ]
]
dev-repo: "git://github.com/FStarLang/FStar"
install: [make "PREFIX=%{prefix}%" "-C" "src/ocaml-output" "install"]
synopsis: "An ML-like language with a type system for program verification."
flags: light-uninstall
url {
  src: "https://github.com/FStarLang/FStar/archive/v0.9.1.1.tar.gz"
  checksum: "md5=6a0a27dc1b9f5bfb68b46852a381c028"
}
