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-only"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
remove: [make "uninstall"]
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>"""
url {
  src:
    "https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_5.0.1.tar.gz"
  checksum: [
    "sha256=25c741525be5c00730fe7674fb59d9a577599744fdad301cb0a83bea3069b941"
    "md5=f1d80673f8ae7bb3eedb3ed343943632"
  ]
}