this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "An extended Pratt parser"
3description: """
4Pratter is a library that provides a parser that transforms
5streams of terms to applied terms. Terms may contain infix or prefix operators
6and native applications. The parser is based on the Pratt parsing
7algorithm and extended to handle term application and non associative
8operators."""
9maintainer: ["koizel#pratter@aleeas.com"]
10authors: ["Gabriel Hondet"]
11license: "BSD-3-Clause"
12homepage: "https://github.com/gabrielhdt/pratter"
13bug-reports: "https://github.com/gabrielhdt/pratter/issues"
14depends: [
15 "ocaml" {>= "4.02" | with-test & >= "4.03"}
16 "dune" {>= "2.7"}
17 "camlp-streams"
18 "alcotest" {with-test}
19 "qcheck" {with-test}
20 "qcheck-alcotest" {with-test}
21 "odoc" {with-doc}
22]
23build: [
24 ["dune" "subst"] {dev}
25 [
26 "dune"
27 "build"
28 "-p"
29 name
30 "-j"
31 jobs
32 "@install"
33 "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36]
37dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
38url {
39 src:
40 "https://github.com/gabrielhdt/pratter/releases/download/1.2.1/pratter-1.2.1.tbz"
41 checksum: [
42 "sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833"
43 "sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318"
44 ]
45}
46x-commit-hash: "b50c511ccc2344c509076723774779db805aec88"