this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Parsing library for the TRS format, the format for first-order rewrite systems"
4description:
5 "trs is a parsing library for the TRS format, the format for first-order rewrite systems."
6maintainer: ["jajima.jp@gmail.com"]
7authors: ["Soichi Yajima"]
8license: "MIT"
9tags: ["trs" "rewrite systems"]
10homepage: "https://github.com/jajimajp/trs"
11bug-reports: "https://github.com/jajimajp/trs/issues"
12depends: [
13 "ocaml" {>= "4.12.0"}
14 "dune" {>= "3.7"}
15 "menhir" {>= "20211012"}
16 "odoc" {with-doc}
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "@install"
28 "@runtest" {with-test}
29 "@doc" {with-doc}
30 ]
31]
32dev-repo: "git+https://github.com/jajimajp/trs.git"
33url {
34 src:
35 "https://github.com/jajimajp/trs/releases/download/v1.0.0/trs-1.0.0.tbz"
36 checksum: [
37 "sha256=0f7292cd5ad8ec2dd7a45a30a67cc3a0ae99aa3b1208b3b532143771b6eaae48"
38 "sha512=8f729369b2edb654256d03a26b6a5e998ccd040e6686ec95c374b3d3316f7258051754db119b6e4acd1b7003ba0b29382018a39aa50a21dba11194eb0e7836db"
39 ]
40}
41x-commit-hash: "25b26ba8d5e29228217439eca4de884846cac77a"