Skip to content

Commit d7a27c3

Browse files
authored
Merge pull request #24525 from jonsterling/opam-publish-forester.2.4.1
Package forester.2.4.1
2 parents 25e96e0 + 4bb4d4c commit d7a27c3

File tree

1 file changed

+45
-0
lines changed
  • packages/forester/forester.2.4.1

1 file changed

+45
-0
lines changed
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
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"
10+
"ocamlgraph" {>= "2.1.0"}
11+
"ocaml" {>= "0.5.0"}
12+
"dune" {>= "3.7"}
13+
"xmlm" {>= "1.4.0"}
14+
"ppx_deriving"
15+
"cmdliner" {>= "1.2.0"}
16+
"dune-build-info"
17+
"domainslib" {>= "0.5.0"}
18+
"eio_main" {>= "0.12"}
19+
"ptime" {>= "1.1.0"}
20+
"yuujinchou" {>= "5.1.0"}
21+
"algaeff" {>= "1.0.0"}
22+
"odoc" {with-doc}
23+
]
24+
build: [
25+
["dune" "subst"] {dev}
26+
[
27+
"dune"
28+
"build"
29+
"-p"
30+
name
31+
"-j"
32+
jobs
33+
"@install"
34+
"@runtest" {with-test}
35+
"@doc" {with-doc}
36+
]
37+
]
38+
dev-repo: "git+https://git.sr.ht/~jonsterling/ocaml-forester"
39+
url {
40+
src: "https://git.sr.ht/~jonsterling/ocaml-forester/archive/2.4.1.tar.gz"
41+
checksum: [
42+
"md5=6bdd20df3d77c5fdcf020a74f7964d95"
43+
"sha512=a60fed82e04be2dc58ca77fd339d0d63e5bfa281f188ddda17c0035a2755c0c575d29d02dfd8742dda81ba02092226029e63b1acc1939f748a3bff3560b79b04"
44+
]
45+
}

0 commit comments

Comments
 (0)