Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package clingo for openSUSE:Factory checked in at 2022-12-12 17:39:48 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/clingo (Old) and /work/SRC/openSUSE:Factory/.clingo.new.1835 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "clingo" Mon Dec 12 17:39:48 2022 rev:4 rq:1042293 version:5.6.2 Changes: -------- --- /work/SRC/openSUSE:Factory/clingo/clingo.changes 2022-09-02 21:57:19.120409123 +0200 +++ /work/SRC/openSUSE:Factory/.clingo.new.1835/clingo.changes 2022-12-12 17:41:58.481885803 +0100 @@ -1,0 +2,27 @@ +Mon Dec 5 12:55:18 UTC 2022 - Dirk Müller <dmuel...@suse.com> + +- update to 5.6.2: + * fix AST comparison + * fix handling of n-ary comparisons in AST + * fix symbolic atom iterator + * build wheels using cibuildwheel + * add support for parsing files in ASPIF format + * add theory related functions to backend + * add support for comparisons with more than one relation + * extend safety by computing intervals from comparisons + * add and ground base part by default in Python API + * remove experimental CSP extensions + * require at least MSVC 15.0 to build on Windows + * large code refactoring + * replace internal hash set implementation by external one + * fix `parse_files` in C++ API + * fix adding clauses during enumeration + * fix incremental projection with backend + * update to clasp version 3.3.8 + * extend theory class to get version information + * improve performance of `Model.symbol` + * tidy up `clingo.hh` header regarding C++17 deprecations + * fix error handling while solving in Python API + * fix various outher bugs + +------------------------------------------------------------------- Old: ---- clingo-5.5.0.tar.gz New: ---- clingo-5.6.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ clingo.spec ++++++ --- /var/tmp/diff_new_pack.CoDNRd/_old 2022-12-12 17:41:58.909888209 +0100 +++ /var/tmp/diff_new_pack.CoDNRd/_new 2022-12-12 17:41:58.913888232 +0100 @@ -18,7 +18,7 @@ %define major 4 Name: clingo -Version: 5.5.0 +Version: 5.6.2 Release: 1.1 Summary: A grounder and solver for logic programs Group: Development/Tools/Other ++++++ clingo-5.5.0.tar.gz -> clingo-5.6.2.tar.gz ++++++ ++++ 549562 lines of diff (skipped)
