pplite 0.13

pplite.changes

@@ -1,3 +1,27 @@
+-------------------------------------------------------------------
+Wed Feb  4 17:05:16 UTC 2026 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 0.13
+  * Define stream output operator for PolySet.
+  * Fixed latent UB in Bits helper function shifted_copy.
+  * Added option -s to allow for sorting the input description.
+- Delete 0001-build-fix-build-error-with-flint-3.2.0.patch (merged)
+
+-------------------------------------------------------------------
+Fri Mar 14 09:11:52 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Add 0001-build-fix-build-error-with-flint-3.2.0.patch
+
+-------------------------------------------------------------------
+Sat Oct 26 15:26:42 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 0.12
+  * The library no longer depends on the C++ interface of GMP
+    (this change mainly affects classes ``pplite::Integer`` and
+    ``pplite::Rational``).
+  * The support for conditional thread safety is now enabled by
+    default.
+
 -------------------------------------------------------------------
 Sun Nov 12 16:56:10 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
 

pplite.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package pplite
 #
-# Copyright (c) 2023 SUSE LLC
+# Copyright (c) 2026 SUSE LLC and contributors
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,19 +16,18 @@
 #
 
 
-%define lname   libpplite4
-%define _lto_cflags %nil
+%define lname   libpplite6
 Name:           pplite
-Version:        0.11
+Version:        0.13
 Release:        0
 Summary:        Computations with polyhedra
 License:        GPL-3.0-or-later
 Group:          Productivity/Scientific/Math
 URL:            https://github.com/ezaffanella/PPLite/
 Source:         https://github.com/ezaffanella/PPLite/raw/main/releases/%name-%version.tar.gz
-BuildRequires:  flint-devel
 BuildRequires:  gcc-c++
 BuildRequires:  gmp-devel
+BuildRequires:  pkgconfig(flint)
 
 %description
 PPLite is a C++ library implementing the abstract domain of convex polyhedra,
@@ -74,8 +73,7 @@ if ! %make_build check; then
 	:
 fi
 
-%post   -n %lname -p /sbin/ldconfig
-%postun -n %lname -p /sbin/ldconfig
+%ldconfig_scriptlets -n %lname
 
 %files -n %lname
 %license COPYING