1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
Source: ocaml-qcheck
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Andy Li <andy@onthewings.net>
Standards-Version: 4.6.1
Rules-Requires-Root: no
Build-Depends:
debhelper-compat (= 13),
dh-ocaml,
ocaml,
ocaml-dune,
ocaml-findlib,
libalcotest-ocaml-dev,
libounit-ocaml-dev (>= 2.2.0)
Homepage: https://github.com/c-cube/qcheck
Vcs-Browser: https://salsa.debian.org/ocaml-team/ocaml-qcheck
Vcs-Git: https://salsa.debian.org/ocaml-team/ocaml-qcheck.git
Package: libqcheck-ocaml
Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
${ocaml:Depends}
Provides:
${ocaml:Provides}
Recommends: ocaml-findlib
Description: QuickCheck inspired property-based testing for OCaml (Runtime library)
This module allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
.
This is a compatibility library, depends on libqcheck-ocaml.
Package: libqcheck-ocaml-dev
Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
${ocaml:Depends}
Provides:
${ocaml:Provides}
Recommends: ocaml-findlib
Description: QuickCheck inspired property-based testing for OCaml (Development package)
This module allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
.
This is a compatibility library, depends on libqcheck-ocaml.
Package: libqcheck-core-ocaml
Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
${ocaml:Depends}
Provides:
${ocaml:Provides}
Recommends: ocaml-findlib
Description: QuickCheck inspired property-based testing for OCaml (Runtime library)
This module allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
Package: libqcheck-core-ocaml-dev
Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
${ocaml:Depends}
Provides:
${ocaml:Provides}
Recommends: ocaml-findlib
Description: QuickCheck inspired property-based testing for OCaml (Development package)
This module allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
Package: libqcheck-ounit-ocaml
Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
${ocaml:Depends}
Provides:
${ocaml:Provides}
Recommends: ocaml-findlib
Enhances: ounit
Description: QCheck integration with OUnit (Runtime library)
This module provides QCheck integration with OUnit.
.
QCheck allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
Package: libqcheck-ounit-ocaml-dev
Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
${ocaml:Depends}
Provides:
${ocaml:Provides}
Recommends: ocaml-findlib
Enhances: ounit
Description: QCheck integration with OUnit (Development package)
This module provides QCheck integration with OUnit.
.
QCheck allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
Package: libqcheck-ocaml-doc
Section: doc
Architecture: all
Multi-Arch: foreign
Depends: ${misc:Depends}
Enhances: libqcheck-ocaml-dev
Description: Documentation for ocaml-qcheck
This module allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
.
This package contains documentation for ocaml-qcheck in html format.
|
