this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christophe Raffalli <raffalli@univ-savoie.fr>"
3bug-reports: "mailto:raffalli@univ-savoie.fr"
4authors:
5 [ "Christophe Raffalli <raffalli@univ-savoie.fr>"
6 "Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>" ]
7homepage: "http://lama.univ-savoie.fr/~raffalli/bindlib"
8license: "LGPL-3.0-only"
9dev-repo: "darcs+https://lama.univ-savoie.fr/~raffalli/bindlib/repos"
10build: [make]
11install: [make "install"]
12remove: ["ocamlfind" "remove" "bindlib"]
13depends: [
14 "ocaml"
15 "ocamlfind" {build}
16]
17synopsis: "OCaml Bindlib library for bound variables"
18description: """
19Bindlib is a library for the Objective-Caml language providing
20reasonable tools to write programs manipulating data structures with
21bound variables (like lambda-calculus or quantified formulae). It is
22quite efficient and easy to use.
23
24Authors
25 * Christophe Raffalli
26 * Rodolphe Lepigre"""
27flags: light-uninstall
28url {
29 src:
30 "https://github.com/ocaml/opam-source-archives/raw/main/bindlib-4.0.tar.gz"
31 checksum: [
32 "sha256=7d25215240783596eb93cb5b41f026b1d61a5f5c47f87d39e9b47bb58bc7ab9a"
33 "md5=ce1ca69a76ba5ecf1735a64ab1c175c9"
34 ]
35}