From 1a8614094061f7b2e11119ce351834aeff9c7e9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Min=C3=A9?= <antoine.mine@lip6.fr>
Date: Tue, 30 Jul 2019 12:40:50 +0200
Subject: [PATCH 1/2] put the opam file in the repo to make it easy to "opam
 publish" new versions

---
 zarith.opam | 45 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 zarith.opam

diff --git a/zarith.opam b/zarith.opam
new file mode 100644
index 0000000..e9e802e
--- /dev/null
+++ b/zarith.opam
@@ -0,0 +1,45 @@
+opam-version: "2.0"
+name: "zarith"
+version: "1.7"
+maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
+authors: [
+  "Antoine Miné"
+  "Xavier Leroy"
+  "Pascal Cuoq"
+]
+homepage: "https://github.com/ocaml/Zarith"
+bug-reports: "https://github.com/ocaml/Zarith/issues"
+dev-repo: "git+https://github.com/ocaml/Zarith.git"
+build: [
+  ["./configure"] {os != "openbsd" & os != "freebsd" & os != "macos"}
+  [
+    "sh"
+    "-exc"
+    "LDFLAGS=\"$LDFLAGS -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/usr/local/include\" ./configure"
+  ] {os = "openbsd" | os = "freebsd"}
+  [
+    "sh"
+    "-exc"
+    "LDFLAGS=\"$LDFLAGS -L/opt/local/lib -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/opt/local/include -I/usr/local/include\" ./configure"
+  ] {os = "macos"}
+  [make]
+]
+install: [
+  [make "install"]
+]
+remove:  ["ocamlfind" "remove" "zarith"]
+depends: [
+  "ocaml"
+  "ocamlfind"
+  "conf-gmp"
+  "conf-perl" {build}
+]
+synopsis:
+  "Implements arithmetic and logical operations over arbitrary-precision integers"
+description: """
+The Zarith library implements arithmetic and logical operations over
+arbitrary-precision integers. It uses GMP to efficiently implement
+arithmetic over big integers. Small integers are represented as Caml
+unboxed integers, for speed and space economy."""
+flags: light-uninstall
+

From a7a9985ab332ab842c6a73f697ee3ae19f1d66f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Min=C3=A9?= <antoine.mine@lip6.fr>
Date: Tue, 30 Jul 2019 12:44:14 +0200
Subject: [PATCH 2/2] removed version information

---
 zarith.opam | 2 --
 1 file changed, 2 deletions(-)

diff --git a/zarith.opam b/zarith.opam
index e9e802e..4b2a965 100644
--- a/zarith.opam
+++ b/zarith.opam
@@ -1,6 +1,5 @@
 opam-version: "2.0"
 name: "zarith"
-version: "1.7"
 maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
 authors: [
   "Antoine Miné"
@@ -42,4 +41,3 @@ arbitrary-precision integers. It uses GMP to efficiently implement
 arithmetic over big integers. Small integers are represented as Caml
 unboxed integers, for speed and space economy."""
 flags: light-uninstall
-