diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index aea1627..b47400f 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,11 +7,11 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/ocaml/coq/user-contrib/Gappa
-%global coqver 8.13.0
+%global coqver 8.13.1
 
 Name:           gappalib-coq
 Version:        1.4.6
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -28,7 +28,7 @@ BuildRequires:  gappa
 BuildRequires:  ocaml
 BuildRequires:  ocaml-camlp5-devel
 BuildRequires:  ocaml-findlib
-BuildRequires:  ocaml-num-devel
+BuildRequires:  ocaml-zarith-devel
 BuildRequires:  remake
 
 Requires:       coq%{?_isa} = %{coqver}
@@ -95,6 +95,10 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Wed Mar  3 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-4
+- Rebuild for coq 8.13.1
+- Build with ocaml-zarith instead of ocaml-num
+
 * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3
 - Rebuild for coq 8.13.0