diff --git a/sat4j-2.3.5.tar.gz b/sat4j-2_3_5.tar.gz
similarity index 58%
rename from sat4j-2.3.5.tar.gz
rename to sat4j-2_3_5.tar.gz
index 7f6c055..1cba457 100644
Binary files a/sat4j-2.3.5.tar.gz and b/sat4j-2_3_5.tar.gz differ
diff --git a/sat4j.spec b/sat4j.spec
index 6aa8801..318a5ae 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -3,16 +3,11 @@
 
 Name:                sat4j
 Version:             2.3.5
-Release:             1
+Release:             2
 Summary:             A library of SAT solvers written in Java
-License:             EPL or LGPLv2
+License:             EPL-1.0 or LGPL-2.0-only
 URL:                 http://www.sat4j.org/
-#wegt https://gitlab.ow2.org/sat4j/sat4j/-/archive/2_3_5/sat4j-2_3_5.tar.gz
-#tar zxvf sat4j-2_3_5.tar.gz
-#find ./sat4j-2_3_5 -name *.jar -delete
-#mv sat4j-2_3_5 sat4j-%{version}
-#tar zcvf sat4j-%{version}.tar.gz sat4j-%{version}
-Source0:             sat4j-%{version}.tar.gz
+Source0:             https://gitlab.ow2.org/sat4j/sat4j/-/archive/2_3_5/sat4j-2_3_5.tar.gz
 Patch0:              sat4j-classpath.patch
 
 BuildRequires:       ant javapackages-local
@@ -26,7 +21,8 @@ boxes", those willing to embed SAT technologies into their application
 without worrying about the details.
 
 %prep
-%setup -q -n sat4j-%{version}
+%setup -q -n sat4j-2_3_5
+find . -name *jar -delete
 %patch0
 
 %build
@@ -45,5 +41,8 @@ ant -Dbuild.compiler=modern -Drelease=%{version} \
 # No %%doc files as the about.html is in the jar
 
 %changelog
+* Mon Nov 21 2022 Ge Wang <wangge20@h-partners.com> - 2.3.5-2
+- bring source file into correspondence with described in spec file
+
 * Wed Aug 26 2020 wangxiao <wangxiao65@huawei.com> - 2.3.5-1
 - package init