Merge pull request #28039 from jonsterling/opam-publish-forester.5.0

Package forester.5.0

Author: shonfeder

packages/forester/forester.5.0/opam

@@ -0,0 +1,69 @@
+opam-version: "2.0"
+synopsis: "A tool for tending mathematical forests"
+maintainer: "Jonathan Sterling"
+authors: "Jonathan Sterling"
+license: "GPL-3.0-or-later"
+homepage: "https://sr.ht/~jonsterling/forester/"
+bug-reports: "https://todo.sr.ht/~jonsterling/forester"
+depends: [
+  "menhir" {>= "20240715"}
+  "ocamlgraph" {>= "2.1.0"}
+  "ocaml" {>= "5.3.0"}
+  "dune" {>= "3.13"}
+  "dune-site"
+  "ocaml-index"
+  "ppx_deriving"
+  "cmdliner" {>= "1.2.0"}
+  "dune-build-info"
+  "uucp" {>= "15.1.0"}
+  "eio_main" {>= "1.1"}
+  "ptime" {>= "1.1.0"}
+  "asai" {>= "0.3.0"}
+  "yuujinchou" {>= "5.2.0"}
+  "bwd" {>= "2.3.0"}
+  "algaeff" {>= "2.0.0"}
+  "yojson" {>= "2.1.2"}
+  "toml" {>= "7.1.0"}
+  "repr" {>= "0.7.0"}
+  "ppx_repr" {>= "0.7.0"}
+  "uri" {>= "4.4.0"}
+  "pure-html" {>= "3.10.0"}
+  "base64" {>= "3.5.1"}
+  "datalog" {>= "0.7"}
+  "cid" {>= "0.1.0"}
+  "lsp" {>= "0.19.0"}
+  "jsonrpc" {>= "1.22.0"}
+  "ppx_yojson_conv" {>= "0.17.0"}
+  "logs" {>= "0.7.0"}
+  "bisect_ppx" {>= "2.8.3"}
+  "cohttp-eio" {>= "6.0.0"}
+  "routes" {>= "2.0.0"}
+  "brr" {>= "0.0.7"}
+  "spelll"
+  "odoc" {"2.4.4" >= with-doc}
+  "alcotest"
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://git.sr.ht/~jonsterling/ocaml-forester"
+url {
+  src: "https://git.sr.ht/~jonsterling/ocaml-forester/archive/5.0.tar.gz"
+  checksum: [
+    "md5=24f4aed96a8b8af33aba13fba66f1b37"
+    "sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573"
+  ]
+}