this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "An implementation of the Pratt parsing algorithm for first order terms"
4description: """
5Pratter is a library that provides a parser that transforms
6streams of terms to applied terms. Terms may contain infix or prefix operators
7and native applications. The parser is an extension of the Pratt parsing
8algorithm."""
9maintainer: ["leirbag@sdfeu.org"]
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.05" & < "5.0.0"}
16 "dune" {>= "2.7"}
17 "alcotest" {with-test}
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33]
34dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
35x-commit-hash: "7d97052d113f67d68d2476e71d254c2fa061e69f"
36url {
37 src:
38 "https://github.com/gabrielhdt/pratter/releases/download/v0.1.1/pratter-v0.1.1.tbz"
39 checksum: [
40 "sha256=bc66d56e1756caca42d4d324c0f2ebae9710615116258e660642694d841d4a16"
41 "sha512=9af84dea4efbce4d9c1cb11181487043b65d2b408247c221e4d6728d7c60f2a8f8d8605f968b989ed40c1506d4d6d7254b888038b633839674fa8f1bf3435e7b"
42 ]
43}