opam-version: "2.0"
maintainer:   "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"
bug-reports:  "https://github.com/rlepigre/ocaml-bindlib/issues"
authors:
  [ "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"
    "Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.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: ["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@univ-savoie.fr>
 - Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>"""
flags: light-uninstall
url {
  src:
    "https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_4.0.4.tar.gz"
  checksum: [
    "sha256=7eab22f8855687b3f7400d7cffa1a28c611cb775e5a15a4f693a3b7d36bbc6dc"
    "md5=da82f3c51293f62affd3687981ff839e"
  ]
}