diff --git a/packages/forester/forester.4.1.0/opam b/packages/forester/forester.4.1.0/opam new file mode 100644 index 00000000000..793edcad42e --- /dev/null +++ b/packages/forester/forester.4.1.0/opam @@ -0,0 +1,50 @@ +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" {>= "20211230"} + "ocamlgraph" {>= "2.1.0"} + "ocaml" {>= "5.1.1"} + "dune" {>= "3.7"} + "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"} + "uri" {>= "4.4.0"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://git.sr.ht/~jonsterling/ocaml-forester" +url { + src: "https://git.sr.ht/~jonsterling/ocaml-forester/archive/4.1.0.tar.gz" + checksum: [ + "md5=576a2fe0666a6bd9fbbf9a567c0aee79" + "sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e" + ] +} \ No newline at end of file