From cfa48cd31c2edd1cc68d9a6451eb77660bbdda3f Mon Sep 17 00:00:00 2001
From: Andy Li <andy@onthewings.net>
Date: Tue, 21 Nov 2017 14:29:12 +0800
Subject: [PATCH 01/15] initial import (#1515080)

---
 .gitignore        |  1 +
 README.md         |  3 --
 ocaml-qcheck.spec | 81 +++++++++++++++++++++++++++++++++++++++++++++++
 sources           |  1 +
 4 files changed, 83 insertions(+), 3 deletions(-)
 create mode 100644 .gitignore
 delete mode 100644 README.md
 create mode 100644 ocaml-qcheck.spec
 create mode 100644 sources

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..dc7a07c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/ocaml-qcheck-0.7.tar.gz
diff --git a/README.md b/README.md
deleted file mode 100644
index 9c621a5..0000000
--- a/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# ocaml-qcheck
-
-The ocaml-qcheck package
\ No newline at end of file
diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
new file mode 100644
index 0000000..1415986
--- /dev/null
+++ b/ocaml-qcheck.spec
@@ -0,0 +1,81 @@
+%global debug_package %{nil}
+
+Name:           ocaml-qcheck
+Version:        0.7
+Release:        1%{?dist}
+Summary:        QuickCheck inspired property-based testing for OCaml
+
+License:        BSD
+URL:            https://github.com/c-cube/qcheck
+Source0:        https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
+
+BuildRequires:  ocaml
+BuildRequires:  ocaml-ocamlbuild
+BuildRequires:  ocaml-findlib
+BuildRequires:  ocaml-ocamldoc
+BuildRequires:  ocaml-ounit-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/Libraries
+Requires:       %{name}%{?_isa} = %{version}-%{release}
+
+
+%description    devel
+The %{name}-devel package contains libraries and signature files for
+developing applications that use %{name}.
+
+
+%prep
+%setup -q -n qcheck-%{version}
+
+
+%build
+ocaml setup.ml -configure --destdir $RPM_BUILD_ROOT --prefix %{_prefix}
+ocaml setup.ml -build
+
+
+%install
+export DESTDIR=$RPM_BUILD_ROOT
+export OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml
+mkdir -p $OCAMLFIND_DESTDIR
+ocaml setup.ml -install
+
+
+%check
+ocaml setup.ml -test
+
+
+%files
+%doc README.adoc CHANGELOG.md
+%license LICENSE
+%{_libdir}/ocaml/qcheck
+%ifarch %{ocaml_native_compiler}
+%exclude %{_libdir}/ocaml/qcheck/*.a
+%exclude %{_libdir}/ocaml/qcheck/*.cmxa
+%exclude %{_libdir}/ocaml/qcheck/*.cmx
+%endif
+%exclude %{_libdir}/ocaml/qcheck/*.mli
+
+
+%files devel
+%doc README.adoc CHANGELOG.md
+%license LICENSE
+%ifarch %{ocaml_native_compiler}
+%{_libdir}/ocaml/qcheck/*.a
+%{_libdir}/ocaml/qcheck/*.cmxa
+%{_libdir}/ocaml/qcheck/*.cmx
+%endif
+%{_libdir}/ocaml/qcheck/*.mli
+
+
+%changelog
+* Mon Nov 20 2017 Andy Li <andy@onthewings.net> - 0.7-1
+- Initial RPM release.
diff --git a/sources b/sources
new file mode 100644
index 0000000..c902d82
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+SHA512 (ocaml-qcheck-0.7.tar.gz) = 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7

From 90ea900a924caef4a4de34c2469c5aa2feb309a5 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Sat, 2 Dec 2017 11:07:59 +0000
Subject: [PATCH 02/15] OCaml 4.06.0 rebuild.

---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 1415986..7a75736 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -2,7 +2,7 @@
 
 Name:           ocaml-qcheck
 Version:        0.7
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -77,5 +77,8 @@ ocaml setup.ml -test
 
 
 %changelog
+* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.7-2
+- OCaml 4.06.0 rebuild.
+
 * Mon Nov 20 2017 Andy Li <andy@onthewings.net> - 0.7-1
 - Initial RPM release.

From e5ad8c0dce257dbbda01b40f1e0d650c3a70a68c Mon Sep 17 00:00:00 2001
From: Andy Li <andy@onthewings.net>
Date: Mon, 5 Feb 2018 11:54:44 +0800
Subject: [PATCH 03/15] New upstream release. (RHBZ#1541681) Also, enable debug
 package.

---
 .gitignore        |  1 +
 ocaml-qcheck.spec | 29 +++++++++++++++++------------
 sources           |  2 +-
 3 files changed, 19 insertions(+), 13 deletions(-)

diff --git a/.gitignore b/.gitignore
index dc7a07c..cb55a61 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /ocaml-qcheck-0.7.tar.gz
+/ocaml-qcheck-0.8.tar.gz
diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 7a75736..e9befce 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,8 +1,6 @@
-%global debug_package %{nil}
-
 Name:           ocaml-qcheck
-Version:        0.7
-Release:        2%{?dist}
+Version:        0.8
+Release:        1%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -10,10 +8,11 @@ URL:            https://github.com/c-cube/qcheck
 Source0:        https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
 
 BuildRequires:  ocaml
+BuildRequires:  jbuilder
 BuildRequires:  ocaml-ocamlbuild
 BuildRequires:  ocaml-findlib
-BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-ounit-devel
+BuildRequires:  opam-installer
 
 
 %description
@@ -38,19 +37,21 @@ developing applications that use %{name}.
 
 
 %build
-ocaml setup.ml -configure --destdir $RPM_BUILD_ROOT --prefix %{_prefix}
-ocaml setup.ml -build
+%make_build
 
 
 %install
-export DESTDIR=$RPM_BUILD_ROOT
-export OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml
-mkdir -p $OCAMLFIND_DESTDIR
-ocaml setup.ml -install
+mkdir -p %{buildroot}%{_libdir}/ocaml
+jbuilder install --destdir=%{buildroot} --libdir=%{buildroot}%{_libdir}/ocaml
 
+# These files will be installed using doc and license directives.
+rm -r %{buildroot}/doc
+
+# Makes *.cmxs executable such that they will be stripped.
+find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
 
 %check
-ocaml setup.ml -test
+%make_build test
 
 
 %files
@@ -77,6 +78,10 @@ ocaml setup.ml -test
 
 
 %changelog
+* Mon Feb 05 2018 Andy Li <andy@onthewings.net> - 0.8-1
+- New upstream release. (RHBZ#1541681)
+- Enable debug package.
+
 * Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.7-2
 - OCaml 4.06.0 rebuild.
 
diff --git a/sources b/sources
index c902d82..b4781d0 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (ocaml-qcheck-0.7.tar.gz) = 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7
+SHA512 (ocaml-qcheck-0.8.tar.gz) = fbf924f09925411109a7d8262cac625e49f985d38a23ff1330079367d63ba62c0b95e3b81e9ae7f8dd10aad415f0cb709acc06fbfd40fd6c492aa952189127a7

From 9b31451972a6f472086cc6b2b454892a9390d0b4 Mon Sep 17 00:00:00 2001
From: Andy Li <andy@onthewings.net>
Date: Mon, 5 Feb 2018 12:01:54 +0800
Subject: [PATCH 04/15] Use plain jbuilder command instead of make.

---
 ocaml-qcheck.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index e9befce..ff4cfb0 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -37,7 +37,7 @@ developing applications that use %{name}.
 
 
 %build
-%make_build
+jbuilder build @install
 
 
 %install
@@ -51,7 +51,7 @@ rm -r %{buildroot}/doc
 find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
 
 %check
-%make_build test
+jbuilder runtest --no-buffer
 
 
 %files

From 979200da9ffea0764b5a6c12fbd5c91b92c20a7d Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Thu, 8 Feb 2018 08:57:20 +0000
Subject: [PATCH 05/15] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index ff4cfb0..1b872f9 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -78,6 +78,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
+
 * Mon Feb 05 2018 Andy Li <andy@onthewings.net> - 0.8-1
 - New upstream release. (RHBZ#1541681)
 - Enable debug package.

From ded02ba38d43739cb7c3e5125951941deca71421 Mon Sep 17 00:00:00 2001
From: Andy Li <andy@onthewings.net>
Date: Mon, 14 May 2018 10:22:05 +0800
Subject: [PATCH 06/15] Rebuilt against ounit.

---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 1b872f9..8b01530 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -78,6 +78,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Mon May 14 2018 Andy Li <andy@onthewings.net> - 0.8-3
+- Rebuilt against ounit.
+
 * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
 

From 665e7c3224da4a2582da03bb924cff37eb4d4503 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 20 Jun 2018 21:42:08 +0100
Subject: [PATCH 07/15] OCaml 4.07.0-rc1 rebuild.

---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 8b01530..692a4da 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -78,6 +78,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-4
+- OCaml 4.07.0-rc1 rebuild.
+
 * Mon May 14 2018 Andy Li <andy@onthewings.net> - 0.8-3
 - Rebuilt against ounit.
 

From d5ca1ad1310270e2be9c40768d73291c05b4c9e6 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 11 Jul 2018 19:55:53 +0100
Subject: [PATCH 08/15] OCaml 4.07.0 (final) rebuild.

---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 692a4da..8be6811 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -78,6 +78,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-5
+- OCaml 4.07.0 (final) rebuild.
+
 * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-4
 - OCaml 4.07.0-rc1 rebuild.
 

From ef17170bead7f8e45fa06d0b80da9bc29a7f72fc Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Fri, 13 Jul 2018 14:47:48 +0000
Subject: [PATCH 09/15] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 8be6811..91bddf5 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -78,6 +78,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
+
 * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.8-5
 - OCaml 4.07.0 (final) rebuild.
 

From c9d1707950454326b874acc87ca3975806adc97a Mon Sep 17 00:00:00 2001
From: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
Date: Mon, 28 Jan 2019 20:17:59 +0100
Subject: [PATCH 10/15] Remove obsolete Group tag

References: https://fedoraproject.org/wiki/Changes/Remove_Group_Tag
---
 ocaml-qcheck.spec | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 91bddf5..e9716b5 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -23,7 +23,6 @@ generating instances and printing them.
 
 %package        devel
 Summary:        Development files for %{name}
-Group:          Development/Libraries
 Requires:       %{name}%{?_isa} = %{version}-%{release}
 
 

From 111d1f9b061e992fcb0610c7f44ca94851f1739a Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Fri, 1 Feb 2019 16:56:41 +0000
Subject: [PATCH 11/15] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index e9716b5..b11decb 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -77,6 +77,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
+
 * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
 

From 4e31f0f8bcb61d0177945d70d5aac297c5268ffd Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Thu, 25 Jul 2019 23:00:01 +0000
Subject: [PATCH 12/15] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index b11decb..0754925 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.8
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -77,6 +77,9 @@ jbuilder runtest --no-buffer
 
 
 %changelog
+* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
 * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
 

From 39f1d11a3096ad409cab9cc0e30a66163bc919ed Mon Sep 17 00:00:00 2001
From: Andy Li <andy@onthewings.net>
Date: Sat, 27 Jul 2019 18:18:02 +0800
Subject: [PATCH 13/15] - New upstream release. - Update build system and
 commands from jbuilder to dune.

---
 .gitignore        |  1 +
 ocaml-qcheck.spec | 47 +++++++++++++++++++++++++++++++----------------
 sources           |  2 +-
 3 files changed, 33 insertions(+), 17 deletions(-)

diff --git a/.gitignore b/.gitignore
index cb55a61..cc96cd1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /ocaml-qcheck-0.7.tar.gz
 /ocaml-qcheck-0.8.tar.gz
+/ocaml-qcheck-0.10.tar.gz
diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 0754925..9011813 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
-Version:        0.8
-Release:        8%{?dist}
+Version:        0.10
+Release:        1%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -8,7 +8,7 @@ URL:            https://github.com/c-cube/qcheck
 Source0:        https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
 
 BuildRequires:  ocaml
-BuildRequires:  jbuilder
+BuildRequires:  ocaml-dune
 BuildRequires:  ocaml-ocamlbuild
 BuildRequires:  ocaml-findlib
 BuildRequires:  ocaml-ounit-devel
@@ -36,47 +36,62 @@ developing applications that use %{name}.
 
 
 %build
-jbuilder build @install
+# do not build alcotest support since it is not packaged yet
+dune build @install -p qcheck,qcheck-core,qcheck-ounit --verbose
 
 
 %install
 mkdir -p %{buildroot}%{_libdir}/ocaml
-jbuilder install --destdir=%{buildroot} --libdir=%{buildroot}%{_libdir}/ocaml
+dune install --destdir=%{buildroot} qcheck qcheck-core qcheck-ounit
 
 # These files will be installed using doc and license directives.
-rm -r %{buildroot}/doc
+rm -r %{buildroot}%{_prefix}/doc
 
 # Makes *.cmxs executable such that they will be stripped.
 find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
 
 %check
-jbuilder runtest --no-buffer
+dune runtest --no-buffer --profile release
 
 
 %files
 %doc README.adoc CHANGELOG.md
 %license LICENSE
-%{_libdir}/ocaml/qcheck
+%{_libdir}/ocaml/*
+%{_libdir}/ocaml/*/*
 %ifarch %{ocaml_native_compiler}
-%exclude %{_libdir}/ocaml/qcheck/*.a
-%exclude %{_libdir}/ocaml/qcheck/*.cmxa
-%exclude %{_libdir}/ocaml/qcheck/*.cmx
+%exclude %{_libdir}/ocaml/*/{,*/}*.a
+%exclude %{_libdir}/ocaml/*/{,*/}*.cmxa
+%exclude %{_libdir}/ocaml/*/{,*/}*.cmx
 %endif
-%exclude %{_libdir}/ocaml/qcheck/*.mli
+%exclude %{_libdir}/ocaml/*/{,*/}*.ml
+%exclude %{_libdir}/ocaml/*/{,*/}*.mli
 
 
 %files devel
 %doc README.adoc CHANGELOG.md
 %license LICENSE
 %ifarch %{ocaml_native_compiler}
-%{_libdir}/ocaml/qcheck/*.a
-%{_libdir}/ocaml/qcheck/*.cmxa
-%{_libdir}/ocaml/qcheck/*.cmx
+%{_libdir}/ocaml/*/{,*/}*.a
+%{_libdir}/ocaml/*/{,*/}*.cmxa
+%{_libdir}/ocaml/*/{,*/}*.cmx
 %endif
-%{_libdir}/ocaml/qcheck/*.mli
+%{_libdir}/ocaml/*/{,*/}*.ml
+%{_libdir}/ocaml/*/{,*/}*.mli
+%{_libdir}/ocaml/*/{,*/}*.cma
+%{_libdir}/ocaml/*/{,*/}*.cmi
+%{_libdir}/ocaml/*/{,*/}*.cmt
+%{_libdir}/ocaml/*/{,*/}*.cmti
+%{_libdir}/ocaml/*/dune-package
+%{_libdir}/ocaml/*/META
+%{_libdir}/ocaml/*/opam
 
 
 %changelog
+* Sat Jul 27 2019 Andy Li <andy@onthewings.net> - 0.10-1
+- New upstream release.
+- Update build system and commands from jbuilder to dune.
+
 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-8
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
 
diff --git a/sources b/sources
index b4781d0..5a56204 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (ocaml-qcheck-0.8.tar.gz) = fbf924f09925411109a7d8262cac625e49f985d38a23ff1330079367d63ba62c0b95e3b81e9ae7f8dd10aad415f0cb709acc06fbfd40fd6c492aa952189127a7
+SHA512 (ocaml-qcheck-0.10.tar.gz) = 250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97

From 4d4262dd188a7a166453bf98a3d90d150c4e8983 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 1 Aug 2019 23:06:07 +0100
Subject: [PATCH 14/15] OCaml 4.08.1 (rc2) rebuild.

---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 9011813..3853cf7 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.10
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -88,6 +88,9 @@ dune runtest --no-buffer --profile release
 
 
 %changelog
+* Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-2
+- OCaml 4.08.1 (rc2) rebuild.
+
 * Sat Jul 27 2019 Andy Li <andy@onthewings.net> - 0.10-1
 - New upstream release.
 - Update build system and commands from jbuilder to dune.

From a5cf43c66206f5ac3a5da6b1710b116984a2461f Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 16 Aug 2019 18:11:49 +0100
Subject: [PATCH 15/15] OCaml 4.08.1 (final) rebuild.

---
 ocaml-qcheck.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec
index 3853cf7..41001ae 100644
--- a/ocaml-qcheck.spec
+++ b/ocaml-qcheck.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-qcheck
 Version:        0.10
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
@@ -88,6 +88,9 @@ dune runtest --no-buffer --profile release
 
 
 %changelog
+* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-3
+- OCaml 4.08.1 (final) rebuild.
+
 * Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-2
 - OCaml 4.08.1 (rc2) rebuild.