this repo has no description
anil.recoil.org
1opam-version: "2.0"
2license: "MIT"
3synopsis: "PPX Rewriter for property based testing"
4
5homepage: "https://gitlab.com/vch9/ppx_pbt"
6bug-reports: "https://gitlab.com/vch9/ppx_pbt/-/issues"
7
8maintainer: [
9 "Valentin Chaboche <valentin.chaboche@nomadic-labs.com>"
10]
11
12authors: [
13 "Valentin Chaboche <valentin.chaboche@nomadic-labs.com>"
14]
15
16depends: [
17 "dune" {>= "2.8.0"}
18 "menhir" {>= "20210419"}
19 "ocaml" {>= "4.10.2" & < "4.14"}
20 "qcheck" {>= "0.17"}
21 "data-encoding" {>= "0.4"}
22 "zarith" {>= "1.12"}
23 "qcheck-alcotest" {>= "0.17"}
24 "ppx_deriving_qcheck" {>= "0.1"}
25 "ppx_deriving" {>= "5.0"}
26]
27
28flags: deprecated
29post-messages: "This package is deprecated and to be considered experimental and unsupported."
30
31build: ["dune" "build" "-p" name "-j" jobs]
32
33dev-repo: "git+https://gitlab.com/vch9/ppx_pbt.git"
34
35url {
36 src:
37 "https://gitlab.com/vch9/ppx_pbt/-/archive/v0.2.1/ppx_pbt-v0.2.1.tar.gz"
38 checksum: [
39 "md5=2bf1733eaca646a1fd0eac136e934df0"
40 "sha512=f75f0bb4bb8feff8f7904377ad078b2c52295065c69263cd905fb2cbf0dd73c728efd2f16bdf26bf203687969a5e08d32d1edc3adc8a9d15e58fdd851eeec8d8"
41 ]
42}