this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Various tools for manipulating first-order terms"
4description:
5 "This library provides various tools for manipulating first-order terms, such as pretty-printing, substitution, unification, etc."
6maintainer: ["igarnier@protonmail.com"]
7authors: ["Ilias Garnier"]
8license: "MIT"
9tags: ["symbolics" "rewriting"]
10homepage: "http://github.com/igarnier/term-tools"
11bug-reports: "http://github.com/igarnier/term-tools"
12depends: [
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]
26build: [
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]
40dev-repo: "git+https://github.com/igarnier/term-tools"
41url {
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}