Merge pull request ocaml#23629 from bagnalla/release-zar-0.9.1

[new release] zar (0.9.1)

Author: mseri

packages/zar/zar.0.9.1/opam

@@ -0,0 +1,43 @@
+opam-version: "2.0"
+synopsis:
+  "Formally verified sampling from discrete probability distributions"
+description:
+  "See the [paper](https://arxiv.org/abs/2211.06747) (to appear in PLDI'23) and [Github repository](https://github.com/bagnalla/zar)."
+maintainer: ["Alexander Bagnall <[email protected]>"]
+authors: ["Alexander Bagnall"]
+license: "MIT"
+tags: ["zar" "random" "sampler" "verified" "coq" "discrete"]
+homepage: "https://github.com/bagnalla/ocamlzar"
+bug-reports: "https://github.com/bagnalla/ocamlzar/issues"
+depends: [
+  "ocaml" {>= "4.06"}
+  "dune" {>= "3.7"}
+  "alcotest" {with-test}
+  "qcheck" {with-test}
+  "qcheck-alcotest" {with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test & ocaml:version >= "4.08"}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bagnalla/ocamlzar.git"
+url {
+  src:
+    "https://github.com/bagnalla/ocamlzar/releases/download/0.9.1/zar-0.9.1.tbz"
+  checksum: [
+    "sha256=e936ec75c3f8eaffd2dccd89898065e3d295f06f3ce75239985f1f838a125d0f"
+    "sha512=2b18e26bd8522546e4373c5b2a57bdb05ccb9674e7c97d6f1cb708e9512f382264401e0e8ec05112800f498b240640b81c8cd4fd7fb05985a66e70e9573b0549"
+  ]
+}
+x-commit-hash: "b021e993aeeacb94ab1a91883d76cdfb26e017e8"