this repo has no description
Merge pull request #27332 from vtourneur/master
[new release] Add readline.0.2
authored by
Marcello Seri
and committed by
GitHub
482d724d
7ddeb3fd
+36
+36
packages/readline/readline.0.2/opam
+36
packages/readline/readline.0.2/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OCaml bindings for GNU readline"
3
+
maintainer: ["vincent.tourneur@inria.fr"]
4
+
authors: ["Sylvain Pogodalla" "Vincent Tourneur"]
5
+
license: "CeCILL-2.0+"
6
+
homepage: "https://gitlab.inria.fr/vtourneu/readline-ocaml"
7
+
bug-reports: "https://gitlab.inria.fr/vtourneu/readline-ocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.7"}
10
+
"ocaml" {>= "4.14"}
11
+
"conf-readline" {>= "1"}
12
+
"odoc" {with-doc}
13
+
]
14
+
build: [
15
+
["dune" "subst"] {dev}
16
+
[
17
+
"dune"
18
+
"build"
19
+
"-p"
20
+
name
21
+
"-j"
22
+
jobs
23
+
"@install"
24
+
"@runtest" {with-test}
25
+
"@doc" {with-doc}
26
+
]
27
+
]
28
+
dev-repo: "git+https://gitlab.inria.fr/vtourneu/readline-ocaml.git"
29
+
x-maintenance-intent: ["(latest)"]
30
+
url {
31
+
src: "https://gitlab.inria.fr/ACG/dev/readline-ocaml/-/package_files/157177/download"
32
+
checksum: [
33
+
"md5=c6276196dbe8b5a36392a0a7e55fa484"
34
+
"sha512=c39a82a60535c4e31d2a2f50a1b6d3479d46c5f0f1404a86f7726a91df997578501a749fc9a8fac8488f73c55ea3eb0a5ad313deee06805421cd5727fea38c18"
35
+
]
36
+
}