From 153f1651bfadcd60c7bb31dbd2183308ccc45618 Mon Sep 17 00:00:00 2001
From: "Ralf S. Engelschall" <rse@openpkg.org>
Date: Sun, 19 Jan 2020 15:15:24 +0100
Subject: [PATCH] upgrading package: minisat 2.2.0.20190724 -> 2.2.0.20200119

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

diff --git a/minisat/minisat.spec b/minisat/minisat.spec
index 9787b571a6..a52faaa28b 100644
--- a/minisat/minisat.spec
+++ b/minisat/minisat.spec
@@ -23,7 +23,7 @@
 
 #   package version
 %define       V_base 2.2.0
-%define       V_snap 20190724
+%define       V_snap 20200119
 
 #   package information
 Name:         minisat
@@ -36,7 +36,7 @@ Class:        EVAL
 Group:        Algorithm
 License:      MIT
 Version:      %{V_base}.%{V_snap}
-Release:      20190725
+Release:      20200119
 
 #   list of sources
 Source0:      http://download.openpkg.org/components/versioned/minisat/minisat-%{V_snap}.tar.xz