this repo has no description
Merge pull request #25478 from sorawee/release-pretty_expressive-0.5
[new release] pretty_expressive (0.5)
authored by
Marcello Seri
and committed by
GitHub
6899104b
a8c65776
+41
+41
packages/pretty_expressive/pretty_expressive.0.5/opam
+41
packages/pretty_expressive/pretty_expressive.0.5/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A pretty expressive printer"
3
+
description:
4
+
"A pretty printer implementation of 'A Pretty Expressive Printer' (OOPSLA'23), with an emphasis on expressiveness and optimality."
5
+
maintainer: ["Sorawee Porncharoenwase <sorawee.pwase@gmail.com>"]
6
+
authors: ["Sorawee Porncharoenwase <sorawee.pwase@gmail.com>"]
7
+
license: "ISC"
8
+
homepage: "https://github.com/sorawee/pretty-expressive-ocaml"
9
+
doc: "https://sorawee.github.io/pretty-expressive-ocaml/"
10
+
bug-reports: "https://github.com/sorawee/pretty-expressive-ocaml/issues"
11
+
depends: [
12
+
"ocaml" {>= "4.05"}
13
+
"dune" {>= "3.10"}
14
+
"mdx" {>= "2.3.0" & != "2.4.0" & with-test}
15
+
"alcotest" {with-test}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/sorawee/pretty-expressive-ocaml.git"
33
+
url {
34
+
src:
35
+
"https://github.com/sorawee/pretty-expressive-ocaml/releases/download/0.5/pretty_expressive-0.5.tbz"
36
+
checksum: [
37
+
"sha256=6d3adf12289b5ca838c782b6758982adaf1afa3d70cf8fd2cee0e6753f456b86"
38
+
"sha512=1cf8fb91761ce3adec91f7a14ece8ef4e25661e26b0be199759fe53cd11caf5609639cda9dc89f2dcf76c32cc35302fcb2022184e0cae1c020b0cd940892182e"
39
+
]
40
+
}
41
+
x-commit-hash: "f39224046efd9b91b398c5b9a477323b0aad0620"