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