Bump Release

Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>

0001-Fixes-distribution-and-min_int-issues.patch

@@ -0,0 +1,36 @@
+From 99a5f108681271f50f31fe3988db0f94b5779c2b Mon Sep 17 00:00:00 2001
+From: Jan Midtgaard <jmid@mmmi.sdu.dk>
+Date: Thu, 12 Nov 2020 12:43:23 +0100
+Subject: [PATCH 1/2] Fixes distribution and min_int issues
+
+---
+ src/core/QCheck.ml | 6 +++---
+ 1 file changed, 3 insertions(+), 3 deletions(-)
+
+diff --git a/src/core/QCheck.ml b/src/core/QCheck.ml
+index 5a3a3e6..67d6e3a 100644
+--- a/src/core/QCheck.ml
++++ b/src/core/QCheck.ml
+@@ -162,7 +162,7 @@ module Gen = struct
+     else fun st -> let r = pint st in r mod (n + 1)
+   let int_range a b =
+     if b < a then invalid_arg "Gen.int_range";
+-    if a >= 0 || b <= 0 then (
++    if a >= 0 || b < 0 then (
+       (* range smaller than max_int *)
+       assert (b-a >= 0);
+       fun st -> a + (int_bound (b-a) st)
+@@ -171,8 +171,8 @@ module Gen = struct
+          choose the itv wrt to their size ratio *)
+       fun st ->
+       let f_a = float_of_int a in
+-      let ratio = (-.f_a) /. (float_of_int b -. f_a) in
+-      if Random.float 1. < ratio then - (int_bound (abs a) st)
++      let ratio = (-.f_a) /. (1. +. float_of_int b -. f_a) in
++      if Random.State.float st 1. <= ratio then - (Gen.int_bound (- (a+1)) st) - 1
+       else int_bound b st
+     )
+ 
+-- 
+2.28.0
+

0002-rm-needless-.Gen.patch

@@ -0,0 +1,25 @@
+From 7616e43b4d011ef90e7e20f47e9837c660d8428f Mon Sep 17 00:00:00 2001
+From: Jan Midtgaard <jmid@mmmi.sdu.dk>
+Date: Thu, 12 Nov 2020 12:47:28 +0100
+Subject: [PATCH 2/2] rm needless .Gen
+
+---
+ src/core/QCheck.ml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/core/QCheck.ml b/src/core/QCheck.ml
+index 67d6e3a..f05f73c 100644
+--- a/src/core/QCheck.ml
++++ b/src/core/QCheck.ml
+@@ -172,7 +172,7 @@ module Gen = struct
+       fun st ->
+       let f_a = float_of_int a in
+       let ratio = (-.f_a) /. (1. +. float_of_int b -. f_a) in
+-      if Random.State.float st 1. <= ratio then - (Gen.int_bound (- (a+1)) st) - 1
++      if Random.State.float st 1. <= ratio then - (int_bound (- (a+1)) st) - 1
+       else int_bound b st
+     )
+ 
+-- 
+2.28.0
+

ocaml-qcheck.spec

@@ -1,11 +1,15 @@
 Name:           ocaml-qcheck
-Version:        0.14
-Release:        4%{?dist}
+Version:        0.16
+Release:        2%{?dist}.rvre2
 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
+# Upstream patch to fix https://github.com/c-cube/qcheck/issues/100
+Patch0:         0001-Fixes-distribution-and-min_int-issues.patch
+# Small fix to the previous patch
+Patch1:         0002-rm-needless-.Gen.patch
 
 BuildRequires:  ocaml >= 4.03.0
 BuildRequires:  ocaml-dune
@@ -40,7 +44,7 @@ Documentation for %{name}.
 
 
 %prep
-%autosetup -n qcheck-%{version}
+%autosetup -n qcheck-%{version} -p1
 
 
 %build
@@ -104,6 +108,30 @@ dune runtest --no-buffer --profile release
 
 
 %changelog
+* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre2
+- Rebuilt for Fedora RISCV, no changes
+
+* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre1
+- Rebuilt for Fedora RISCV, no changes
+
+* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre0
+- Rebuilt for Fedora RISCV, no changes
+
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 0.16-2
+- Add upstream patches to fix numeric range issues
+
+* Thu Nov 12 2020 Jerry James <loganjerry@gmail.com> - 0.16-1.1
+- Rebuild to fix broken ocaml-fmt dependency
+
+* 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
+
+* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4.1
+- Bump release and rebuild.
+
 * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4
 - OCaml 4.11.1 rebuild
 

sources

@@ -1 +1 @@
-SHA512 (ocaml-qcheck-0.14.tar.gz) = 0994d29133f88a97694cf20beb455b0e8c7ab88de777d26fb034eab6e4db0a9cf1f9e931888cb5d87671e55b55bbf6e8e61891dde907b4dc1af4498ff2f29107
+SHA512 (ocaml-qcheck-0.16.tar.gz) = eb9f08cdad479399347ae7771f610d58622d45af79ae9e46d3267da7d3c197cb9d1ea57fafa6af5f1fcd0e360282f72c183dd0f6ba47329536c5523661eb40e8