From c975bd269f559fb72ebe00c2f6e2f87c7bfe50d7 Mon Sep 17 00:00:00 2001
From: "Ralf S. Engelschall" <rse@openpkg.org>
Date: Tue, 3 Mar 2020 08:14:38 +0100
Subject: [PATCH] upgrading package: minizinc 2.4.2 -> 2.4.3

---
 minizinc/minizinc.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/minizinc/minizinc.spec b/minizinc/minizinc.spec
index dd2f02acf5..2e735f9f6a 100644
--- a/minizinc/minizinc.spec
+++ b/minizinc/minizinc.spec
@@ -31,8 +31,8 @@ Distribution: OpenPKG Community
 Class:        EVAL
 Group:        Language
 License:      BSD
-Version:      2.4.2
-Release:      20200111
+Version:      2.4.3
+Release:      20200303
 
 #   list of sources
 Source0:      https://github.com/MiniZinc/libminizinc/archive/%{version}.tar.gz