From c3f345a07ffb9bb598e854ab7f5b4c704b8a60bc Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sep 15 2023 21:00:53 +0000
Subject: Version 1.7.3


---

diff --git a/cadical.spec b/cadical.spec
index b8052a1..3a1a40a 100644
--- a/cadical.spec
+++ b/cadical.spec
@@ -1,6 +1,6 @@
 Name:           cadical
 Epoch:          1
-Version:        1.7.1
+Version:        1.7.3
 Release:        1%{?dist}
 Summary:        Simplified SAT solver
 
@@ -103,6 +103,9 @@ make -C test
 %{_libdir}/lib%{name}.so
 
 %changelog
+* Fri Sep 15 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.3-1
+- Version 1.7.3
+
 * Fri Sep  1 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.1-1
 - Version 1.7.1
 
diff --git a/sources b/sources
index 0151b54..8f314ab 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (cadical-1.7.1.tar.gz) = df72d885ce4a2154d015d28b2c64329f9ef7bccc4e3147a386d90048625d15ac8782abe4800f9b3b9a3186d24f4567c45726d8e6ad917927210860c0001f1ca4
+SHA512 (cadical-1.7.3.tar.gz) = a1517026b30d0562988bfb8e076244993521c19f4b9e70d7a1bd447ca1317107df77aecc3b35efabcf9c06ba51c25d963399a076829f568a9686dcfd71f70b6b