this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26090 from jonsterling/opam-publish-forester.4.1.0

Package forester.4.1.0

authored by

Anil Madhavapeddy and committed by
GitHub
87007861 b6de4bb8

+50
+50
packages/forester/forester.4.1.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.1.1"} 12 + "dune" {>= "3.7"} 13 + "ppx_deriving" 14 + "cmdliner" {>= "1.2.0"} 15 + "dune-build-info" 16 + "uucp" {>= "15.1.0"} 17 + "eio_main" {>= "1.1"} 18 + "ptime" {>= "1.1.0"} 19 + "asai" {>= "0.3.0"} 20 + "yuujinchou" {>= "5.2.0"} 21 + "bwd" {>= "2.3.0"} 22 + "algaeff" {>= "2.0.0"} 23 + "yojson" {>= "2.1.2"} 24 + "toml" {>= "7.1.0"} 25 + "repr" {>= "0.7.0"} 26 + "uri" {>= "4.4.0"} 27 + "odoc" {with-doc} 28 + ] 29 + build: [ 30 + ["dune" "subst"] {dev} 31 + [ 32 + "dune" 33 + "build" 34 + "-p" 35 + name 36 + "-j" 37 + jobs 38 + "@install" 39 + "@runtest" {with-test} 40 + "@doc" {with-doc} 41 + ] 42 + ] 43 + dev-repo: "git+https://git.sr.ht/~jonsterling/ocaml-forester" 44 + url { 45 + src: "https://git.sr.ht/~jonsterling/ocaml-forester/archive/4.1.0.tar.gz" 46 + checksum: [ 47 + "md5=576a2fe0666a6bd9fbbf9a567c0aee79" 48 + "sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e" 49 + ] 50 + }