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: ["ocamlfind" "remove" "bindlib"]
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>"""
28flags: light-uninstall
29url {
30 src:
31 "https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_4.0.5.tar.gz"
32 checksum: [
33 "sha256=1f785115d853b833adf3f796198b56caf26307cca364790a82cddde820f42e46"
34 "md5=1e9919bd553614c23c9f2770f573aa1e"
35 ]
36}