From 43fec4792091c5f8afac787042a084cfd465fd0d Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Wed, 20 Nov 2019 08:31:22 +0000
Subject: [PATCH 1/5] Bump version

---
 num.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/num.opam b/num.opam
index b43dfb8..5f4e209 100644
--- a/num.opam
+++ b/num.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "1.3"
+version: "1.4~dev"
 maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
 authors: [
   "Valérie Ménissier-Morain"
-- 
2.24.1