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.0.tar.gz"
  checksum: [
    "sha256=814f0e0965a4d3517f6d161d8c4b186a3d473beb989dd1d94fa7a06b8437b99b"
    "md5=3a93601680dba80d2c774fa35067f8a9"
  ]
}