this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A simple state-machine framework for OCaml based on QCheck"
3tags: [
4 "state machine"
5 "test"
6 "property"
7 "quickcheck"
8]
9license: "BSD-2-Clause"
10homepage: "https://github.com/jmid/qcstm"
11bug-reports: "https://github.com/jmid/qcstm/issues"
12authors: [ "Jan Midtgaard" ]
13maintainer: [ "Jan Midtgaard <mail@janmidtgaard.dk>" ]
14dev-repo: "git+https://github.com/jmid/qcstm.git"
15url {
16 src: "https://github.com/jmid/qcstm/archive/0.1.tar.gz"
17 checksum: [
18 "sha256=d19db46cc6acd203847f60eab4aae91a23e854d430507d99d798aa8f3282f5f3"
19 "md5=e802a61964397ba73277d0da583a5269"
20 ]
21}
22depends: [
23 "ocaml" {>= "4.04.0"}
24 "qcheck" {>= "0.8"}
25 "ocamlfind" {build}
26 "ocamlbuild" {build}
27]
28
29build: [
30 [make "all"]
31]
32
33install: [make "install"]