this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Formally verified sampling from discrete probability distributions"
4description:
5 "See the [paper](https://arxiv.org/abs/2211.06747) (to appear in PLDI'23) and [Github repository](https://github.com/bagnalla/zar)."
6maintainer: ["Alexander Bagnall <abagnalla@gmail.com>"]
7authors: ["Alexander Bagnall"]
8license: "MIT"
9tags: ["zar" "random" "sampler" "verified" "coq" "discrete"]
10homepage: "https://github.com/bagnalla/ocamlzar"
11bug-reports: "https://github.com/bagnalla/ocamlzar/issues"
12depends: [
13 "ocaml" {>= "4.06"}
14 "dune" {>= "3.7"}
15 "alcotest" {with-test}
16 "qcheck" {with-test & >= "0.15"}
17 "qcheck-alcotest" {with-test}
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@runtest" {with-test & ocaml:version >= "4.08"}
31 "@doc" {with-doc}
32 ]
33]
34dev-repo: "git+https://github.com/bagnalla/ocamlzar.git"
35url {
36 src:
37 "https://github.com/bagnalla/ocamlzar/releases/download/0.9.1/zar-0.9.1.tbz"
38 checksum: [
39 "sha256=e936ec75c3f8eaffd2dccd89898065e3d295f06f3ce75239985f1f838a125d0f"
40 "sha512=2b18e26bd8522546e4373c5b2a57bdb05ccb9674e7c97d6f1cb708e9512f382264401e0e8ec05112800f498b240640b81c8cd4fd7fb05985a66e70e9573b0549"
41 ]
42}
43x-commit-hash: "b021e993aeeacb94ab1a91883d76cdfb26e017e8"