this repo has no description
Merge pull request #23629 from bagnalla/release-zar-0.9.1
[new release] zar (0.9.1)
authored by
Marcello Seri
and committed by
GitHub
c2f5080b
9e087e5e
+43
+43
packages/zar/zar.0.9.1/opam
+43
packages/zar/zar.0.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Formally verified sampling from discrete probability distributions"
4
+
description:
5
+
"See the [paper](https://arxiv.org/abs/2211.06747) (to appear in PLDI'23) and [Github repository](https://github.com/bagnalla/zar)."
6
+
maintainer: ["Alexander Bagnall <abagnalla@gmail.com>"]
7
+
authors: ["Alexander Bagnall"]
8
+
license: "MIT"
9
+
tags: ["zar" "random" "sampler" "verified" "coq" "discrete"]
10
+
homepage: "https://github.com/bagnalla/ocamlzar"
11
+
bug-reports: "https://github.com/bagnalla/ocamlzar/issues"
12
+
depends: [
13
+
"ocaml" {>= "4.06"}
14
+
"dune" {>= "3.7"}
15
+
"alcotest" {with-test}
16
+
"qcheck" {with-test}
17
+
"qcheck-alcotest" {with-test}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
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
+
]
34
+
dev-repo: "git+https://github.com/bagnalla/ocamlzar.git"
35
+
url {
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
+
}
43
+
x-commit-hash: "b021e993aeeacb94ab1a91883d76cdfb26e017e8"