-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
35 lines (34 loc) · 1.17 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
opam-version: "2.0"
maintainer: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
bug-reports: "https://github.com/rlepigre/ocaml-bindlib/issues"
authors:
[ "Christophe Raffalli <christophe@raffalli.eu>"
"Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
homepage: "https://rlepigre.github.io/ocaml-bindlib/"
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
remove: [make "uninstall"]
depends: [
"ocaml" {>= "3.12.1"}
"ocamlbuild" {build}
"ocamlfind" {build}
]
synopsis: "OCaml Bindlib library for bound variables"
description: """
Bindlib is a library allowing the manipulation of data structures
with bound variables. It is particularly useful when writing ASTs
for programming languages, but also for manipulating terms of the
λ-calculus or quantified formulas.
Authors:
- Christophe Raffalli <christophe@raffalli.eu>
- Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"""
url {
src:
"https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_5.0.1.tar.gz"
checksum: [
"sha256=25c741525be5c00730fe7674fb59d9a577599744fdad301cb0a83bea3069b941"
"md5=f1d80673f8ae7bb3eedb3ed343943632"
]
}