Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package lrslib for openSUSE:Factory checked in at 2022-07-19 17:19:17 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/lrslib (Old) and /work/SRC/openSUSE:Factory/.lrslib.new.1523 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "lrslib" Tue Jul 19 17:19:17 2022 rev:8 rq:989631 version:7.2 Changes: -------- --- /work/SRC/openSUSE:Factory/lrslib/lrslib.changes 2021-11-03 17:26:38.733349682 +0100 +++ /work/SRC/openSUSE:Factory/.lrslib.new.1523/lrslib.changes 2022-07-19 17:19:18.704362628 +0200 @@ -1,0 +2,9 @@ +Sat Jul 16 20:21:34 UTC 2022 - Jan Engelhardt <[email protected]> + +- Update to release 7.2 + * Projecting a polyhedron to a subset of its variables (Fourier + elimination) + * Determining if an inequality is redundant in computing the + projection to a subset of its variables (uses SMT solver) + +------------------------------------------------------------------- Old: ---- lrslib-071b.tar.gz New: ---- lrslib-072.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ lrslib.spec ++++++ --- /var/tmp/diff_new_pack.0AOqE6/_old 2022-07-19 17:19:19.156363231 +0200 +++ /var/tmp/diff_new_pack.0AOqE6/_new 2022-07-19 17:19:19.160363236 +0200 @@ -1,7 +1,7 @@ # # spec file for package lrslib # -# Copyright (c) 2021 SUSE LLC +# Copyright (c) 2022 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -16,11 +16,11 @@ # -%define dullver 071b -%define dullver2 071 +%define dullver 072 +%define dullver2 072 %define lname liblrs1 Name: lrslib -Version: 7.1b +Version: 7.2 Release: 0 Summary: Reverse Search Vertex Enumeration program License: GPL-2.0-or-later ++++++ lrslib-071b.tar.gz -> lrslib-072.tar.gz ++++++ ++++ 77907 lines of diff (skipped)
