From 63c193f6122b214b477c4cbdb70b99fe67c7cb96 Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Fri, 28 Aug 2020 22:36:06 -0400
Subject: [PATCH 1/2] [coq.dev] depends on zarith

---
 core-dev/packages/coq/coq.dev/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core-dev/packages/coq/coq.dev/opam b/core-dev/packages/coq/coq.dev/opam
index eb05f8464f..0a37938994 100644
--- a/core-dev/packages/coq/coq.dev/opam
+++ b/core-dev/packages/coq/coq.dev/opam
@@ -22,6 +22,7 @@ depends: [
   "ocamlfind" {build}
   "num"
   "conf-findutils" {build}
+  "zarith"    { >= "1.9.1" }
 ]
 build: [
   [

From 842382450b2e82ff4e080e5000b30efa245ca548 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai@users.noreply.github.com>
Date: Sat, 29 Aug 2020 04:16:51 -0400
Subject: [PATCH 2/2] Update core-dev/packages/coq/coq.dev/opam

Co-authored-by: Ralf Jung <post@ralfj.de>
---
 core-dev/packages/coq/coq.dev/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core-dev/packages/coq/coq.dev/opam b/core-dev/packages/coq/coq.dev/opam
index 0a37938994..d3031f23df 100644
--- a/core-dev/packages/coq/coq.dev/opam
+++ b/core-dev/packages/coq/coq.dev/opam
@@ -22,7 +22,7 @@ depends: [
   "ocamlfind" {build}
   "num"
   "conf-findutils" {build}
-  "zarith"    { >= "1.9.1" }
+  "zarith" { >= "1.9.1" }
 ]
 build: [
   [