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: "https://github.com/gabrielhdt/pratter/issues"
16depends: [
17 "ocaml" {>= "4.08"}
18 "dune" {>= "2.7"}
19 "camlp-streams" {>= "5.0" & < "6"}
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:
42 "https://forge.tedomum.net/koizel/pratter/-/archive/3.0.0/pratter-3.0.0.tar.gz"
43 checksum: [
44 "md5=f8ad3611d5702c0dd1ca869c2349663e"
45 "sha512=2dca78a5e2d1239c7aaa893c08eb612dad50ade092776ca02fd083209fca805e22520bff78309ef8435a4b900be2a272415efff3a81e1bb1f0a3dec8bcb3e1a4"
46 ]
47}