Rebuild for alcotest 1.4.0.

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

ocaml-qcheck.spec

@@ -1,13 +1,13 @@
 Name:           ocaml-qcheck
-Version:        0.13
-Release:        3%{?dist}
+Version:        0.17
+Release:        4%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
-URL:            https://github.com/c-cube/qcheck
+URL:            https://c-cube.github.io/qcheck/
 Source0:        https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
 
-BuildRequires:  ocaml
+BuildRequires:  ocaml >= 4.03.0
 BuildRequires:  ocaml-dune
 BuildRequires:  ocaml-odoc
 BuildRequires:  ocaml-alcotest-devel
@@ -40,10 +40,7 @@ Documentation for %{name}.
 
 
 %prep
-%setup -q -n qcheck-%{version}
-
-# Work around name change in recent ounit versions
-sed -i 's/oUnit/ounit2/' src/ounit/dune
+%autosetup -n qcheck-%{version} -p1
 
 
 %build
@@ -60,8 +57,6 @@ find _build/default/_doc/_html -name .dune-keep -delete
 # These files will be installed using doc and license directives.
 rm -r %{buildroot}%{_prefix}/doc
 
-# Makes *.cmxs executable such that they will be stripped.
-find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
 
 %check
 dune runtest --no-buffer --profile release
@@ -107,11 +102,64 @@ dune runtest --no-buffer --profile release
 
 
 %changelog
-* Tue May 12 2020 Jerry James <loganjerry@gmail.com> - 0.13-3
-- Rebuild for alcotest 1.1.0 (bz 1834070)
+* Wed Apr 14 2021 Jerry James <loganjerry@gmail.com> - 0.17-4
+- Rebuild for alcotest 1.4.0
 
-* Fri Feb 28 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-2.1
-- OCaml 4.10.0 final (Fedora 32).
+* Mon Mar  1 23:22:40 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.17-3
+- OCaml 4.12.0 build
+
+* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 0.17-2
+- Rebuild for alcotest 1.3.0
+
+* Tue Feb 16 2021 Jerry James <loganjerry@gmail.com> - 0.17-1
+- Version 0.17
+- Drop upstream patches
+
+* Tue Feb  2 2021 Jerry James <loganjerry@gmail.com> - 0.16-4
+- Bump and rebuild for updated ocaml-alcotest dep
+
+* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.16-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 0.16-2
+- Add upstream patches to fix numeric range issues
+
+* Thu Nov  5 2020 Jerry James <loganjerry@gmail.com> - 0.16-1
+- Version 0.16
+
+* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.15-1
+- Version 0.15
+
+* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4
+- OCaml 4.11.1 rebuild
+
+* Fri Aug 28 2020 Jerry James <loganjerry@gmail.com> - 0.14-3
+- Rebuild for alcotest 1.2.2
+
+* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-2
+- OCaml 4.11.0 rebuild
+
+* Wed Aug  5 2020 Jerry James <loganjerry@gmail.com> - 0.14-1
+- Version 0.14
+
+* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-8
+- Second attempt - Rebuilt for
+  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-6
+- OCaml 4.11.0+dev2-2020-04-22 rebuild
+
+* Wed Apr 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-5
+- OCaml 4.11.0 pre-release attempt 2
+
+* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-4
+- Bump release and rebuild.
+
+* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-3
+- Update all OCaml dependencies for RPM 4.16.
 
 * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-2
 - OCaml 4.10.0 final.

sources

@@ -1 +1 @@
-SHA512 (ocaml-qcheck-0.13.tar.gz) = eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb
+SHA512 (ocaml-qcheck-0.17.tar.gz) = 647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea