{"bugs":[{"bugid":887129,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/libpoly-0.1.11 fails to compile (CLANG-STRICTER-SYSTEM): factorization.c:1269:7: error: variable enabled_count set but not used [-Werror,-Wunused-but-set-variable]"},{"bugid":907036,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/libpoly-0.1.11 - mv: cannot move ...\/lib to a subdirectory of itself, \/var\/tmp\/portage\/sci-mathematics\/libpoly-0.1"},{"bugid":914390,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/libpoly-0.1.11 - \/...\/integer.h: fatal error: gmpxx.h: No such file or directory"},{"bugid":928094,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/libpoly-0.1.11 fails to compile: polypyPolynomial3.c:260:5: error: initialization of Py_hash_t ()(PyObject ) {aka int ()(struct _object )} from incompatible pointer type long int ()(PyObject ) {aka long int ()(struct _object )} [-Wincompa"},{"bugid":952687,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/libpoly: needs porting to Python 3.13"},{"bugid":953916,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/libpoly-0.1.11 - [meson] [gcc-15] [cmake-4] -- Configuring incomplete, errors occurred!"}],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":336,"name":"dev-python","summary":"The dev-python category contains packages whose primary purpose is to provide Python modules, extensions and bindings, as well as tools and utilities useful for development in the Python programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a0630886706e3a5e1bb2249cd92c7180a11dbf53","committime":"2024-07-31T09:34:05","packageid":75683,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"pacho@gentoo.org","authorname":"Pacho Ramos","body":"Closes: https:\/\/bugs.gentoo.org\/929793\nSigned-off-by: Pacho Ramos ","commitid":"d9c0a64c2d9268c18ab186c785a662717abcb25b","committime":"2024-07-31T08:22:10","packageid":75683,"repoid":1,"summary":"sci-mathematics\/libpoly: enable py3.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bd56b3a23e7a58582968fee15c6f90ebaef61847","committime":"2023-02-24T09:16:54","packageid":75683,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"andrewammerlaan@gentoo.org","authorname":"Andrew Ammerlaan","body":"Signed-off-by: Andrew Ammerlaan ","commitid":"b12c29426d2a029f1af2b3636723dc9f7929fa18","committime":"2023-02-24T09:01:56","packageid":75683,"repoid":1,"summary":"sci-mathematics\/libpoly: enable py3.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d0ebee607de5c63d747980fbeb0806c193a29c9","committime":"2023-01-14T13:02:17","packageid":75683,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"ed468028e725c9580a7b2ee02d6b7b9375f7a0b2","committime":"2023-01-14T12:51:19","packageid":75683,"repoid":1,"summary":"*\/*: remove py3.8 from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"50e5c6b5b96b4d9f12828595a8ea01c27cba5202","committime":"2022-12-19T22:32:03","packageid":75683,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/887109\nSigned-off-by: Maciej Barć ","commitid":"d5a1050d3e2e050151e73d63d624a2aeafeba061","committime":"2022-12-19T18:41:35","packageid":75683,"repoid":1,"summary":"sci-mathematics\/libpoly: remove -Werror"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"daa6ca61d6a7d0fb6d45c5e96bdc6eb478a1fbf0","committime":"2022-12-18T22:02:14","packageid":75683,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d820c1e66cf14fc974084c92e937611a5c6006f3","committime":"2022-12-18T20:36:50","packageid":75683,"repoid":1,"summary":"sci-mathematics\/libpoly: new package; add 0.1.11"}],"dependencies":[{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[772493,772493],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":336,"description":"Computer Algebra System in pure Python","ebuildids":[772493,772493],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"grozin@gentoo.org","maintainername":"Andrey Grozin","name":"sympy","packageid":45052,"summary":"SymPy is a Python library for symbolic mathematics (manipulation). It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external libraries, except optionally for plotting support."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[772493],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[{"block":false,"categoryid":317,"description":"SMT Solver supporting SMT-LIB and Yices specification language","ebuildids":[866205,866205],"firstseen":"2022-12-18T22:22:04.912741","name":"yices2","packageid":75684,"summary":"Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using Yices 2's own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software."}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":772493,"firstseen":"2022-12-18T22:22:04.912741","license":"LGPL-3+","moddate":"2026-03-28T18:04:21","packageid":75683,"repoid":1,"slot":"0\/0.1.11","uses":["python","python_single_target_python3_11","python_single_target_python3_12"],"version":"0.1.11"}],"masks":[],"package":{"categoryid":317,"description":"C library for manipulating polynomials","firstseen":"2022-12-18T22:22:04.912741","name":"libpoly","packageid":75683,"summary":"LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints. It is research software under development, so the features and the API might change rapidly."},"rdependencies":[{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[772493,772493],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":336,"description":"Computer Algebra System in pure Python","ebuildids":[772493,772493],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"grozin@gentoo.org","maintainername":"Andrey Grozin","name":"sympy","packageid":45052,"summary":"SymPy is a Python library for symbolic mathematics (manipulation). It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external libraries, except optionally for plotting support."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[772493],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"b0dd603654956bad345abbff616070880b281179","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/SRI-CSL\/libpoly\/"],"uses":[{"defaultflag":true,"description":"Add optional support\/bindings for the Python language","isdefault":true,"use":"python"},{"description":"Build for Python 3.11 only","group":"python_single_target","isdefault":false,"use":"python3_11"},{"description":"Build for Python 3.12 only","group":"python_single_target","isdefault":false,"use":"python3_12"}]}