update to 0.25 [release 0.25-1mamba;Sat Jul 23 2022]

libisl.spec

@@ -1,13 +1,13 @@
 Name:          libisl
-Version:       0.24
+Version:       0.25
 Release:       1mamba
 Summary:       Integer Set Library
 Group:         Development/Libraries
 Vendor:        openmamba
 Distribution:  openmamba
-Packager:      Davide Madrisan <davide.madrisan@gmail.com>
-URL:           https://isl.gforge.inria.fr/user.html
-Source:        http://isl.gforge.inria.fr/isl-%{version}.tar.xz
+Packager:      Silvan Calarco <silvan.calarco@mambasoft.it>
+URL:           https://sourceforge.net/projects/libisl
+Source:        https://sourceforge.net/projects/libisl/files/isl-%{version}.tar.xz
 License:       MIT
 ## AUTOBUILDREQ-BEGIN
 BuildRequires: glibc-devel
@@ -34,7 +34,8 @@ This package contains libraries and header files for developing applications tha
 
 %build
 %configure
-%make V=1
+
+%make
 
 %install
 [ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
@@ -62,6 +63,9 @@ This package contains libraries and header files for developing applications tha
 %doc ChangeLog README
 
 %changelog
+* Sat Jul 23 2022 Silvan Calarco <silvan.calarco@mambasoft.it> 0.25-1mamba
+- update to 0.25
+
 * Sun May 02 2021 Automatic Build System <autodist@mambasoft.it> 0.24-1mamba
 - automatic version update by autodist