opam-version: "2.0"
homepage: "https://github.com/ISANobody/sill"
dev-repo: "git+https://github.com/ISANobody/sill.git"
bug-reports: "https://github.com/ISANobody/sill/issues"
maintainer: "isanobody@gmail.com"
authors: [ "Dennis Griffith <isanobody@gmail.com>"
           "Frank Pfenning <fp@cs.cmu.edu>" ]
license: "GPL-3 with OCaml linking exception"
build: [
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  ["ocaml" "setup.ml" "-build"]
]
depends: [
  "ocaml" {>= "4.01.0"}
  "base-threads"
  "base-unix"
  "bin_prot" {< "113.01.00"}
  "core" {< "v0.15"}
  "ocamlfind"
  "sexplib" {< "113.01.00"}
  "ocamlbuild" {build}
]
install: ["ocaml" "setup.ml" "-install"]
synopsis: "Implementation of Linear Session Types"
description: """
A prototype language focused on organizing concurrent programs via
communication along substructurally typed channels between processes."""
extra-files: ["sill.install" "md5=1a4837f3fc59e3f211c51d7041dfcead"]
url {
  src: "https://github.com/ISANobody/sill/archive/v1.2.1.tar.gz"
  checksum: "md5=67484fde1eeb216ab2da5ad239f947d8"
}
