this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sylvain.pogodalla@inria.fr"
3
4build: [
5 ["dune" "subst"] {dev}
6 ["dune" "build" "-p" name "-j" jobs]
7]
8
9install: ["dune" "install"]
10
11depends: [
12 "ocaml" { >= "4.14.0" }
13 "dune" { >= "3.5" }
14 "menhir" { >= "20211230"}
15 "ocamlgraph"
16 "ANSITerminal" { >= "0.8" }
17 "fmt" {< "0.10.0"}
18 "logs"
19 "mtime" { >= "2.0.0"}
20 "cmdliner" { >= "1.1.0"}
21 "sedlex"
22 "cairo2" { >= "0.6.4" }
23 "yojson" { >= "1.6.0"}
24 "readline"
25 "odoc" { with-doc }
26]
27
28dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
29
30homepage: "http://acg.loria.fr/"
31license: "CeCILL-1.0+"
32authors: ["Sylvain Pogodalla"]
33bug-reports: "sylvain.pogodalla@inria.fr"
34
35synopsis: "Abstract Categorial Grammar development toolkit"
36
37description: "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."
38
39url {
40 src: "http://acg.loria.fr/software/acg-2.0.0-20231009.tar.gz"
41 checksum: "sha512=e0c72426381259e9ce599c160f83ecf411eaf48b8b050d9c3e87b63d124a719cbc58101892e9594ea30c6ad8950b0dc66c84debca1ca3c370d81fc6654afd21c"
42}