this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"
3bug-reports: "https://github.com/rlepigre/ocaml-bindlib/issues"
4authors:
5 [ "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"
6 "Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.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@univ-savoie.fr>
27 - Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>"""
28flags: light-uninstall
29url {
30 src:
31 "https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_4.0.4.tar.gz"
32 checksum: [
33 "sha256=7eab22f8855687b3f7400d7cffa1a28c611cb775e5a15a4f693a3b7d36bbc6dc"
34 "md5=da82f3c51293f62affd3687981ff839e"
35 ]
36}