this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sylvain.pogodalla@inria.fr"
3
4build: [
5 ["dune" "subst"] {dev}
6# remove the -p to also build the local libraries: conflict with the
7# fact that some libraries are also part of the acgtkLib package
8# ["dune" "build" "-p" name "-j" jobs]
9 ["dune" "build" "-j" jobs]
10]
11
12install: ["dune" "install"]
13
14depends: [
15 "ocaml" { >= "4.03.0" & < "5.0" }
16 "dune" {>= "1.1"}
17 "menhir"
18 "ANSITerminal"
19 "fmt" {< "0.10.0"}
20 "logs"
21 "mtime" {>= "1.0.0" & < "2.0.0"}
22 "cairo2"
23 "yojson"
24 "easy-format"
25 "ocf"
26]
27
28dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
29
30homepage: "http://acg.inria.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:
41 "https://github.com/ocaml/opam-source-archives/raw/main/acgtk-1.5.0.tar.gz"
42 checksum: [
43 "sha256=55a24a65da8bf07e378c003c8f7f72589e842d5132f04b613abcf0dfdf00c092"
44 "md5=7fa4ac29e905f8d4ed7efccb131b304a"
45 ]
46}