this repo has no description
Merge pull request #26772 from jajimajp/release-trs-v1.0.0
[new release] trs (1.0.0)
authored by
Marcello Seri
and committed by
GitHub
1a7dae54
e543261b
+41
+41
packages/trs/trs.1.0.0/opam
+41
packages/trs/trs.1.0.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Parsing library for the TRS format, the format for first-order rewrite systems"
4
+
description:
5
+
"trs is a parsing library for the TRS format, the format for first-order rewrite systems."
6
+
maintainer: ["jajima.jp@gmail.com"]
7
+
authors: ["Soichi Yajima"]
8
+
license: "MIT"
9
+
tags: ["trs" "rewrite systems"]
10
+
homepage: "https://github.com/jajimajp/trs"
11
+
bug-reports: "https://github.com/jajimajp/trs/issues"
12
+
depends: [
13
+
"ocaml" {>= "4.12.0"}
14
+
"dune" {>= "3.7"}
15
+
"menhir" {>= "20211012"}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
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
+
]
32
+
dev-repo: "git+https://github.com/jajimajp/trs.git"
33
+
url {
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
+
}
41
+
x-commit-hash: "25b26ba8d5e29228217439eca4de884846cac77a"