this repo has no description
Merge pull request #26828 from igarnier/opam-publish-term-tools.0.0.2
Package term-tools.0.0.2
authored by
Marcello Seri
and committed by
GitHub
d0845025
86cb2b76
+48
+48
packages/term-tools/term-tools.0.0.2/opam
+48
packages/term-tools/term-tools.0.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Various tools for manipulating first-order terms"
4
+
description:
5
+
"This library provides various tools for manipulating first-order terms, such as pretty-printing, substitution, unification, etc."
6
+
maintainer: ["igarnier@protonmail.com"]
7
+
authors: ["Ilias Garnier"]
8
+
license: "MIT"
9
+
tags: ["symbolics" "rewriting"]
10
+
homepage: "http://github.com/igarnier/term-tools"
11
+
bug-reports: "http://github.com/igarnier/term-tools"
12
+
depends: [
13
+
"dune" {>= "3.0"}
14
+
"ocaml" {>= "4.14"}
15
+
"hashcons" {>= "1.4.0"}
16
+
"containers" {>= "3.13.1"}
17
+
"printbox" {>= "0.11"}
18
+
"printbox-text" {>= "0.9.0"}
19
+
"fmt" {>= "0.9.0"}
20
+
"alcotest" {>= "0.8.1" & with-test}
21
+
"qcheck" {>= "0.21" & with-test}
22
+
"qcheck-core" {>= "0.21" & with-test}
23
+
"qcheck-alcotest" {>= "0.21" & with-test}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
dev-repo: "git+https://github.com/igarnier/term-tools"
41
+
url {
42
+
src:
43
+
"https://github.com/igarnier/term-tools/archive/refs/tags/0.0.2.tar.gz"
44
+
checksum: [
45
+
"md5=75acb747da03c0cd94d22c7f57cf0b1b"
46
+
"sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a"
47
+
]
48
+
}