this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sylvain.pogodalla@inria.fr"
3x-maintenance-intent: ["(latest)"]
4
5build: [
6 ["dune" "subst"] {dev}
7 ["dune" "build" "-p" name "-j" jobs]
8]
9
10install: ["dune" "install"]
11
12depends: [
13 "ocaml" { >= "4.14.0" }
14 "dune" { >= "3.5" }
15 "menhir" { >= "20211230"}
16 "ocamlgraph"
17 "ANSITerminal" { >= "0.8" }
18 "fmt" { <= "0.9.0" }
19 "logs"
20 "mtime" { >= "2.0.0"}
21 "cmdliner" { >= "1.1.0"}
22 "sedlex"
23 "cairo2" { >= "0.6.4" }
24 "yojson" { >= "1.6.0"}
25 "readline"
26 "odoc" { with-doc }
27]
28
29dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
30
31homepage: "http://acg.loria.fr/"
32license: "CeCILL-1.0+"
33authors: ["Sylvain Pogodalla"]
34bug-reports: "sylvain.pogodalla@inria.fr"
35
36synopsis: "Abstract Categorial Grammar development toolkit"
37
38description: "This toolkit provides a compiler and an interpreter for Abstract Categorial Grammars (ACGs). Grammars can be compiled and then used by the interpreter to parse (if the grammar is at most second-order) or to generate terms. See http://acg.loria.fr for more details and bibliographic references."
39
40url {
41 src: "http://acg.loria.fr/software/acg-2.1.0-20240219.tar.gz"
42 checksum: "sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2"
43}