this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Parse strings of tokens and mixfix operators"
3description: """
4Pratter allows to transform strings of symbols and mixfix operators to full
5binary trees.
6Pratter is convenient for parsing languages made of terms with many mixfix
7operators with different associativities and precedences such as
8arithmetic or λ-calculi.
9In contrast to parser generators, parsing rules can be edited dynamically.
10"""
11maintainer: ["Gabriel Hondet <koizel#pratter@aleeas.com>"]
12authors: ["Gabriel Hondet <koizel#pratter@aleeas.com>"]
13license: "BSD-3-Clause"
14homepage: "https://forge.tedomum.net/koizel/pratter"
15bug-reports: "forge+koizel-pratter-440-88vbl82x0jh05jaaqy5kwyojw-issue@tedomum.net"
16depends: [
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]
25build: [
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]
39dev-repo: "git+https://forge.tedomum.net/koizel/pratter"
40url {
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}