this repo has no description
Merge pull request #27732 from gabrielhdt/pratter-update-5.0.1
Add pratter version 5.0.1
+46
+46
packages/pratter/pratter.5.0.1/opam
+46
packages/pratter/pratter.5.0.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Parse strings of tokens and mixfix operators"
3
+
description: """
4
+
Pratter allows to transform strings of symbols and mixfix operators to full
5
+
binary trees.
6
+
Pratter is convenient for parsing languages made of terms with many mixfix
7
+
operators with different associativities and precedences such as
8
+
arithmetic or λ-calculi.
9
+
In contrast to parser generators, parsing rules can be edited dynamically.
10
+
"""
11
+
maintainer: ["Gabriel Hondet <koizel#pratter@aleeas.com>"]
12
+
authors: ["Gabriel Hondet <koizel#pratter@aleeas.com>"]
13
+
license: "BSD-3-Clause"
14
+
homepage: "https://forge.tedomum.net/koizel/pratter"
15
+
bug-reports: "forge+koizel-pratter-440-88vbl82x0jh05jaaqy5kwyojw-issue@tedomum.net"
16
+
depends: [
17
+
"ocaml" {>= "4.10.0"}
18
+
"dune" {>= "2.7"}
19
+
# Release 1.5.0 of alcotest fixes interactions with the result library
20
+
"alcotest" {with-test & >= "1.5.0" & < "2"}
21
+
"qcheck" {with-test & >= "0.12" }
22
+
"qcheck-alcotest" {with-test & >= "0.12"}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
dev-repo: "git+https://forge.tedomum.net/koizel/pratter"
40
+
url {
41
+
src: "https://forge.tedomum.net/koizel/pratter/-/archive/5.0.1/pratter-5.0.1.tar.bz2"
42
+
checksum: [
43
+
"md5=7a75f978f8746f5745318422d562e361"
44
+
"sha256=1083dd78ef5413366fdd0bcfcdb19a59f92d145f677d89a502a5da109e965cac"
45
+
]
46
+
}