.gear/ocaml-qcheck.spec | 88 +++++++++++++++++++++++++++++++++++++++++++++++++
 .gear/rules             |  3 ++
 .gear/tags/list         |  1 +
 3 files changed, 92 insertions(+)

diff --git a/.gear/ocaml-qcheck.spec b/.gear/ocaml-qcheck.spec
new file mode 100644
index 0000000..6c46afd
--- /dev/null
+++ b/.gear/ocaml-qcheck.spec
@@ -0,0 +1,88 @@
+# tests broken on 32-bit platforms and ppc64le
+%ifarch %ix86 armh ppc64le
+%def_disable check
+%endif
+
+%define libname qcheck
+Name: ocaml-%libname
+Version: 0.18.1
+Release: alt1
+Summary: QuickCheck inspired property-based testing for OCaml
+Group: Development/ML
+License: BSD
+Url: https://github.com/c-cube/qcheck/
+Source0: %name-%version.tar
+Patch0: %name-%version-%release.patch
+BuildRequires: dune
+BuildRequires: ocaml
+BuildRequires: ocaml-ounit-devel
+BuildRequires: ocaml-alcotest-devel
+
+%description
+This module allows to check invariants (properties of some types) over randomly
+generated instances of the type. It provides combinators for generating
+instances and printing them.
+
+%package devel
+Summary: Development files for %name
+Group: Development/ML
+Requires: %name = %EVR
+
+%description devel
+The %name-devel package contains libraries and signature files for
+developing applications that use %name.
+
+%prep
+%setup
+%patch0 -p1
+
+%build
+%dune_build --release @install
+
+%install
+%dune_install
+rm -rf %buildroot/usr/doc
+
+%check
+sed -i '19d' example/alcotest/output.txt.expected
+%dune_check
+
+%files -f ocaml-files.runtime
+%doc README.adoc
+
+%files devel -f ocaml-files.devel
+
+%changelog
+* Mon Feb 21 2022 Anton Farygin <rider@altlinux.ru> 0.18.1-alt1
+- 0.18.1
+
+* Wed Nov 03 2021 Anton Farygin <rider@altlinux.ru> 0.18-alt1
+- 0.18
+
+* Mon Mar 15 2021 Anton Farygin <rider@altlinux.org> 0.17-alt1
+- 0.17
+
+* Thu Dec 31 2020 Anton Farygin <rider@altlinux.ru> 0.16-alt1
+- 0.16
+
+* Tue Sep 29 2020 Anton Farygin <rider@altlinux.ru> 0.15-alt1
+- 0.15
+
+* Wed Aug 26 2020 Anton Farygin <rider@altlinux.ru> 0.14-alt1
+- 0.14
+
+* Mon Feb 17 2020 Anton Farygin <rider@altlinux.ru> 0.13-alt1
+- 0.13
+
+* Thu Jan 16 2020 Anton Farygin <rider@altlinux.ru> 0.12-alt1
+- 0.12
+
+* Wed Jul 31 2019 Anton Farygin <rider@altlinux.ru> 0.10-alt1
+- 0.10
+
+* Wed Mar 13 2019 Anton Farygin <rider@altlinux.ru> 0.9-alt2
+- rebuilt with dune-1.8
+
+* Tue Nov 06 2018 Anton Farygin <rider@altlinux.ru> 0.9-alt1
+- first build for ALT
+
diff --git a/.gear/rules b/.gear/rules
new file mode 100644
index 0000000..d6633ed
--- /dev/null
+++ b/.gear/rules
@@ -0,0 +1,3 @@
+spec:.gear/ocaml-qcheck.spec
+tar: v@version@:.
+diff: v@version@:. .
diff --git a/.gear/tags/list b/.gear/tags/list
new file mode 100644
index 0000000..9cc74f6
--- /dev/null
+++ b/.gear/tags/list
@@ -0,0 +1 @@
+7bc126593ecc06d71d076b4caca06ce7bc380d56 v0.18.1