From 5e93ef40df0efb80ea1600cf591c4ddc2f7621fb Mon Sep 17 00:00:00 2001
From: James Antill <jantill@redhat.com>
Date: Wed, 31 Aug 2022 16:14:42 -0400
Subject: [PATCH] Convert from sha1 to sha512.

---
 sources | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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