Merge pull request #24855 from sorawee/release-pretty_expressive-0.1

[new release] pretty_expressive (0.1)

Author: mseri

packages/pretty_expressive/pretty_expressive.0.1/opam

@@ -0,0 +1,40 @@
+opam-version: "2.0"
+synopsis: "A pretty expressive printer"
+description:
+  "A pretty printer implementation of 'A Pretty Expressive Printer' (OOPSLA'23), with an emphasis on expressiveness and optimality."
+maintainer: ["Sorawee Porncharoenwase <[email protected]>"]
+authors: ["Sorawee Porncharoenwase <[email protected]>"]
+license: "ISC"
+homepage: "https://github.com/sorawee/pretty-expressive-ocaml"
+doc: "https://sorawee.github.io/pretty-expressive-ocaml/"
+bug-reports: "https://github.com/sorawee/pretty-expressive-ocaml/issues"
+depends: [
+  "ocaml" {>= "4.05"}
+  "dune" {>= "3.10"}
+  "alcotest" {with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/sorawee/pretty-expressive-ocaml.git"
+url {
+  src:
+    "https://github.com/sorawee/pretty-expressive-ocaml/releases/download/0.1/pretty_expressive-0.1.tbz"
+  checksum: [
+    "sha256=a32cb2e842ae3a2f256bc4ff9db4ebc9e239608f7e53b9dd37a3c3a8bceb9fcc"
+    "sha512=b78785d471f346e7e4abab8f6401451ab396fa606646e763eb953ec52555974ca888786b8f2e51b59502dc3bd6f5c660d8ccab605bcc65acf9e7c2d7533b280f"
+  ]
+}
+x-commit-hash: "9acfa09dba61e59419aacadf94a91f472b65bb26"