this repo has no description
Merge pull request #24998 from jonsterling/opam-publish-forester.3.0.0
Package forester.3.0.0
authored by
Marcello Seri
and committed by
GitHub
22b87c3b
f40aa30f
+46
+46
packages/forester/forester.3.0.0/opam
+46
packages/forester/forester.3.0.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A tool for tending mathematical forests"
3
+
maintainer: "Jonathan Sterling"
4
+
authors: "Jonathan Sterling"
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://sr.ht/~jonsterling/forester/"
7
+
bug-reports: "https://todo.sr.ht/~jonsterling/forester"
8
+
depends: [
9
+
"menhir" {>= "20211230"}
10
+
"ocamlgraph" {>= "2.1.0"}
11
+
"ocaml" {>= "5.0.0"}
12
+
"dune" {>= "3.7"}
13
+
"xmlm" {>= "1.4.0"}
14
+
"ppx_deriving"
15
+
"cmdliner" {>= "1.2.0"}
16
+
"dune-build-info"
17
+
"eio_main" {>= "0.13"}
18
+
"ptime" {>= "1.1.0"}
19
+
"asai" {>= "0.2.0"}
20
+
"yuujinchou" {>= "5.1.0"}
21
+
"bwd" {>= "2.3.0"}
22
+
"algaeff" {>= "2.0.0"}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
dev-repo: "git+https://git.sr.ht/~jonsterling/ocaml-forester"
40
+
url {
41
+
src: "https://git.sr.ht/~jonsterling/ocaml-forester/archive/3.0.0.tar.gz"
42
+
checksum: [
43
+
"md5=cefb2772a2562267fc46aab3e7b1fb82"
44
+
"sha512=e890a08344dff37e893d36e196452df1a9b560fe2a0abd23988ec4f3c8df9b9757d1c976dec5d95b9b5ab61c125928f5017e458802cfe93f728de4b2711b893b"
45
+
]
46
+
}