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 "ocaml" {>= "4.10.0" & < "4.14"}
19 "menhir" {>= "20180523"}
20 "qcheck" {>= "0.17"}
21 "metaquot" {>= "0.4"}
22]
23
24build: ["dune" "build" "-p" name "-j" jobs]
25
26flags: deprecated
27post-messages: "This package is deprecated and to be considered experimental and unsupported."
28
29dev-repo: "git+https://gitlab.com/vch9/ppx_pbt.git"
30url {
31 src:
32 "https://gitlab.com/vch9/ppx_pbt/-/archive/v0.1.0/ppx_pbt-v0.1.0.tar.gz"
33 checksum: [
34 "md5=627584e9f25d016e75ece04bde5bcfa0"
35 "sha512=18e3ab5fd0ac5b6b24d24f85dba38acb4f43254fc23da24a5ec58281e91bb6b92332c8601039dcbbb66dfcc36a20e06e84aa61c856cfd9d6f7cad21ab0177681"
36 ]
37}