this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Provides qCheck generators for laws of alg_structs"
3description: """
4
5Combinators for generating qCheck property based tests to check that
6implementations of the algebraic structures provided by alg_structs adhere to
7the stated laws.
8"""
9maintainer: ["shon.feder@gmail.com"]
10authors: ["Shon Feder"]
11license: "MIT"
12homepage: "https://github.com/shonfeder/alg_structs"
13doc: "https://shonfeder.github.io/alg_structs/"
14bug-reports: "https://github.com/shonfeder/alg_structs/issues"
15depends: [
16 "dune" {>= "1.11.3"}
17 "ocaml" {>= "4.08.0"}
18 "alg_structs" {>= "0.1.3" & < "0.2.0"}
19 "qcheck" {>= "0.11" & < "0.18"}
20 "alcotest" {with-test & >= "0.8.5"}
21 "qcheck-alcotest" {with-test & >= "0.11"}
22]
23build: [
24 ["dune" "subst"] {dev}
25 [
26 "dune"
27 "build"
28 "-p"
29 name
30 "-j"
31 jobs
32 "@install"
33 "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36]
37dev-repo: "git+https://github.com/shonfeder/alg_structs.git"
38url {
39 src:
40 "https://github.com/shonfeder/alg_structs/releases/download/0.1.3/alg_structs_qcheck-0.1.3.tbz"
41 checksum: [
42 "sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08"
43 "sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764"
44 ]
45}