this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
3bug-reports: "https://github.com/rlepigre/ocaml-bindlib/issues"
4authors:
5 [ "Christophe Raffalli <christophe@raffalli.eu>"
6 "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
7homepage: "https://rlepigre.github.io/ocaml-bindlib/"
8license: "LGPL-3.0-only"
9dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
10build: [make]
11install: [make "install"]
12remove: [make "uninstall"]
13depends: [
14 "ocaml" {>= "3.12.1"}
15 "ocamlbuild" {build}
16 "ocamlfind" {build}
17]
18synopsis: "OCaml Bindlib library for bound variables"
19description: """
20Bindlib is a library allowing the manipulation of data structures
21with bound variables. It is particularly useful when writing ASTs
22for programming languages, but also for manipulating terms of the
23λ-calculus or quantified formulas.
24
25Authors:
26 - Christophe Raffalli <christophe@raffalli.eu>
27 - Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"""
28url {
29 src:
30 "https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_5.0.1.tar.gz"
31 checksum: [
32 "sha256=25c741525be5c00730fe7674fb59d9a577599744fdad301cb0a83bea3069b941"
33 "md5=f1d80673f8ae7bb3eedb3ed343943632"
34 ]
35}