this repo has no description
Package boltzgen.0.9.5
+41
+41
packages/boltzgen/boltzgen.0.9.5/opam
+41
packages/boltzgen/boltzgen.0.9.5/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Generate random tests using boltzmann sampling"
3
+
description: """
4
+
BoltzGen is a tool to generate Ocaml values. Given a type it generates a random value of this type using Boltzmann sampling
5
+
BoltzGen can also generate tests, given a function, a set of call of this function on generated random input is generated."""
6
+
maintainer: ["barbot@lacl.fr"]
7
+
authors: ["Benoît Barbot"]
8
+
license: "GPL-3.0-or-later"
9
+
homepage: "https://git.lacl.fr/barbot/boltzgen"
10
+
bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
11
+
depends: [
12
+
"ocaml" {>= "5.0.0"}
13
+
"dune" {>= "3.15" & >= "3.15"}
14
+
"ocaml-compiler-libs"
15
+
"cmdliner" {>= "1.1.0"}
16
+
"base-unix"
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
34
+
url {
35
+
src:
36
+
"https://git.lacl.fr/barbot/boltzgen/-/archive/release-0.9.5/boltzgen-release-0.9.5.tar.gz"
37
+
checksum: [
38
+
"md5=4a1533435c557fb19665bb0cffa8cfa6"
39
+
"sha512=8ec7d426663125b4a5ceca895252ebf7afc3c44034730e25ee994a152a049a221a8c3a6472777ec91980c7ceea70abbaf1fd20ff0ac61ca5855b0d600df64b22"
40
+
]
41
+
}