24 lines
537 B
Diff
24 lines
537 B
Diff
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
|
|
|