libsemigroups 3.1.3

_scmsync.obsinfo

@@ -1,4 +0,0 @@
-mtime: 1759396295
-commit: e65deb4884791272d51386caf4e60a52e7cd2598f0e80cab5ac0905ff9811b21
-url: https://src.opensuse.org/jengelh/libsemigroups
-revision: master

build.specials.obscpio

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:6de1b5137760346067e43e9da1db9f6e86593231e56aff8812fb6f9eec14431d
-size 256

libsemigroups.changes

@@ -1,17 +1,3 @@
--------------------------------------------------------------------
-Thu Oct  2 09:11:32 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
-
-- Update to release 3.2.0
-  * Balance presentation
-  * `is_obviously_infinite(Kambites)` respects generating pairs
-  * Check `is_obviously_infinite` before running in
-    `Congruence::number_of_classes`
-  * Bipartition benchmarks
-  * Add an option to compile with external backward
-  * Improve reporting for Todd-Coxeter
-  * todd-coxeter: fix bug in `reduce`
-  * word-graph: improve standardization performance
-
 -------------------------------------------------------------------
 Wed Aug 13 00:32:27 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
 

libsemigroups.spec

@@ -18,7 +18,7 @@
 
 Name:           libsemigroups
 %define lname	libsemigroups3
-Version:        3.2.0
+Version:        3.1.3
 Release:        0
 Summary:        Library with algorithms for computing finite and finitely presented semigroups
 License:        GPL-3.0-or-later
@@ -27,7 +27,6 @@ URL:            https://github.com/libsemigroups/libsemigroups
 #Source:         https://github.com/libsemigroups/libsemigroups/releases/download/v%version/%name-%version.tar.gz
 Source:         https://github.com/libsemigroups/libsemigroups/archive/refs/tags/v%version.tar.gz
 BuildRequires:  automake
-BuildRequires:  backward-cpp-devel
 BuildRequires:  gcc-c++
 BuildRequires:  libtool
 BuildRequires:  pkgconfig(eigen3)
@@ -65,15 +64,13 @@ This subpackage provides the development headers for it.
 
 %prep
 %autosetup -p1
-rm -Rf third_party/backward-cpp
 
 %build
 autoreconf -fi
 # hpcombi requires AVX-256, which is not guaranteed to exist everywhere
 %configure --disable-static --disable-hpcombi \
 	--enable-eigen --with-external-eigen \
-	--enable-fmt --with-external-fmt \
-	--with-external-backward
+	--enable-fmt --with-external-fmt
 %make_build
 
 %install