opam-version: "2.0"
maintainer:   "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
bug-reports:  "https://github.com/rlepigre/ocaml-bindlib/issues"
authors:
  [ "Christophe Raffalli <christophe@raffalli.eu>"
    "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
homepage: "https://rlepigre.github.io/ocaml-bindlib/"
license: "LGPL-3.0"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
remove: ["ocamlfind" "remove" "bindlib"]
depends: [
  "ocaml" {>= "3.12.1"}
  "ocamlbuild" {build}
  "ocamlfind" {build}
]
synopsis: "OCaml Bindlib library for bound variables"
description: """
Bindlib is a library allowing the manipulation of data structures
with bound variables. It is particularly useful when writing ASTs
for programming languages, but also for manipulating terms of the
λ-calculus or quantified formulas.

Authors:
 - Christophe Raffalli <christophe@raffalli.eu>
 - Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"""
flags: light-uninstall
url {
  src:
    "https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_4.0.5.tar.gz"
  checksum: "md5=1e9919bd553614c23c9f2770f573aa1e"
}
