diff --git a/why3.spec b/why3.spec
index 4900984..312c0a2 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,7 @@
 
 Name:           why3
 Version:        1.2.1
-Release:        1%{?dist}
+Release:        3%{?dist}
 Summary:        Software verification platform
 
 # See LICENSE for the terms of the exception
@@ -40,7 +40,6 @@ BuildRequires:  ocaml-menhir-devel
 BuildRequires:  ocaml-num-devel
 BuildRequires:  ocaml-sqlite-devel
 BuildRequires:  ocaml-zarith-devel
-BuildRequires:  ocaml-zip-devel
 BuildRequires:  pkgconfig(gtksourceview-2.0)
 BuildRequires:  rubber
 BuildRequires:  tex(comment.sty)
@@ -102,6 +101,7 @@ based on Why3, including various automated and interactive provers.
 
 %package -n ocaml-%{name}
 Summary:        Software verification library for ocaml
+Requires:       ocaml-num%{?_isa}
 
 %description -n ocaml-%{name}
 This package contains an ocaml library that exposes the functionality
@@ -112,7 +112,6 @@ Summary:        Development files for using the ocaml-%{name} library
 Requires:       ocaml-%{name}%{?_isa} = %{version}-%{release}
 Requires:       ocaml-menhir-devel%{?_isa}
 Requires:       ocaml-num-devel%{?_isa}
-Requires:       ocaml-zip-devel%{?_isa}
 
 %description -n ocaml-%{name}-devel
 This package contains development files needed to build applications
@@ -289,6 +288,12 @@ chmod 0755 %{buildroot}%{_bindir}/* \
 %files all
 
 %changelog
+* Sun Apr 12 2020 Jerry James <loganjerry@gmail.com> - 1.2.1-3
+- Make the dependency on ocaml-num explicit (bz 1795083)
+
+* Fri Apr 10 2020 Jerry James <loganjerry@gmail.com> - 1.2.1-2
+- Rebuild without zip support; otherwise frama-c cannot start
+
 * Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 1.2.1-1
 - New upstream release
 - Add -proofgeneral subpackage