this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christophe Raffalli <raffalli@univ-savoie.fr>"
3bug-reports: "http://lama.univ-savoie.fr/mantis/view_all_bug_page.php?project_id=3"
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.2.tar.gz"
31 checksum: [
32 "sha256=21d0d0601a11d42c0afbb7405183e8214430be66e3fd67867e3c1f572a5b70f3"
33 "md5=6b37b02a6d1c7e5bb51ba96adbf84afc"
34 ]
35}