From 0ed483d6cf6cb05b6c4ae13b41b6c2e8f0fc11b7 Mon Sep 17 00:00:00 2001
From: James Antill <jantill@redhat.com>
Date: Thu, 23 Feb 2023 23:55:21 -0500
Subject: [PATCH] Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc

---
 .gitignore | 1 +
 sources    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 442f3a0..ccee09d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 SOURCES/sat4j-2.3.5.tar.xz
+/sat4j-2.3.5.tar.xz
diff --git a/sources b/sources
index ddd31cf..db598ec 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA1 (sat4j-2.3.5.tar.xz) = ab9d5a51c096e395c1db9daa887c5736cdbdff2f
+SHA512 (sat4j-2.3.5.tar.xz) = 5558c058ff21bf30e87fcf1c4ed2daa43f48871d9c8e1e9f2d191233848c4345d1df9b9d1d3386592de2439d5dd76a81678a1c298b7f992b4d21a08cfe92e83c