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"
]
build: [
  [make "-C" "src/ocaml-output"]
]
dev-repo: "git://github.com/FStarLang/FStar"
synopsis: "An ML-like language with a type system for program verification."
extra-files: ["fstar.install" "md5=9d34aa38cf9efa5c93a3de1d985b0d41"]
url {
  src: "https://github.com/FStarLang/FStar/archive/v0.9.0.tar.gz"
  checksum: "md5=dd113e6de5382e829ab27e81e97d8e79"
}
