this repo has no description
0
fork

Configure Feed

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

Merge pull request #25668 from jonsterling/opam-publish-forester.4.0.1

Package forester.4.0.1

authored by

Thomas Gazagnaire and committed by
GitHub
bd9c0667 9039282f

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