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