{"bugs":[{"bugid":928095,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/opensmt-2.5.2 fails to compile: Polynomial.h:183:15: error: no declaration matches long unsigned int PolynomialT::size() const"}],"categories":[{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1b5853836e56a9b501dc27c4bbe3c999227db8be","committime":"2025-11-22T01:00:48","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e78cec9f7e7aa5664907b5445eb7e1890a6a8d76","committime":"2025-11-21T19:22:25","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: bump to 2.9.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d0a52779404036204f2b992dbed06711da3b7414","committime":"2025-11-21T19:11:51","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: drop old 2.5.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cc0caad6dece8131278553dc4b293a6807bb28c4","committime":"2025-06-06T21:39:00","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"47f39ac2a783cae50a7c4c50487024a6f763ebef","committime":"2025-06-06T18:40:51","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: bump to 2.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2d7493064b09db869b76c0322bd667c0613d518c","committime":"2025-05-05T20:24:39","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/955464\nSigned-off-by: Maciej Barć ","commitid":"9d5a143c3ec941b4af38c9df9994d09db244431f","committime":"2025-05-05T19:20:37","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: bump cmake_minimum_required"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"34a4648dda8afba2c9c6736cef2cf5a41f8dc96d","committime":"2024-02-19T15:48:53","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/924977\nSigned-off-by: Maciej Barć ","commitid":"04ba0021b96b29be45073fb44db54f02542c836f","committime":"2024-02-19T14:00:09","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: fix libdir on glibc only"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cc7ff4207fbccc7c7d8f8ad3df8ea8ac69e3d0ea","committime":"2024-01-08T12:39:46","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0ef026269d259e047837e32529f79a8185844661","committime":"2024-01-08T12:20:08","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"All of these will be using app-alternatives\/yacc anyway as they're not unsetting\n\nYACC or LEX, so make the dep reflect reality.\n\n(Included both YACC and LEX out of conservatism.)\n\nSigned-off-by: Sam James ","commitid":"9df00ae55994ef37ccfd562f9740f2ca2ef905c8","committime":"2024-01-08T12:09:10","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: sys-devel\/bison -> app-alternatives\/yacc"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"All of these will be using app-alternatives\/lex anyway as they're not unsetting\n\nYACC or LEX, so make the dep reflect reality.\n\n(Included both YACC and LEX out of conservatism.)\n\nSigned-off-by: Sam James ","commitid":"7382e601445b4acece1bf2c5f6f8e885296aff2f","committime":"2024-01-08T11:51:57","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: sys-devel\/flex -> app-alternatives\/lex"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"708d0f9ec5a89f07aa9c764bcfef2ab4b47ac37f","committime":"2023-11-07T19:01:55","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"kocelfc@tutanota.com","authorname":"Kostadin Shishmanov","body":"Closes: https:\/\/bugs.gentoo.org\/916855\nSigned-off-by: Kostadin Shishmanov \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/33708\nSigned-off-by: Maciej Barć ","commitid":"de122ee20e5f4b74dd53fbe68fcc25de0de8dbe3","committime":"2023-11-07T17:45:28","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: fix build with gcc 14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ee1b636d856955928ca35ccab0a70dd0567ace40","committime":"2023-08-22T14:46:34","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"98bdfdbad5275c2ad9dce2e7ec8314ead473d7d5","committime":"2023-08-22T14:27:32","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: drop old 2.5.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a6d3bd35bfd5cf27c35d36aa3806f72e8641ac1f","committime":"2023-08-17T13:31:34","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/912314\nSigned-off-by: Maciej Barć ","commitid":"2bbd02d1dab93281b5f36bc04fd25dd0079a5c13","committime":"2023-08-17T12:12:38","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: fix .so install"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"85a1e0c71841487082d289b269e22430386d88af","committime":"2023-08-15T12:01:36","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"39c26c44c951d5071eaeed9ccefb0dc78f7455b6","committime":"2023-08-15T11:58:34","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: bump to 2.5.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/894728\nSigned-off-by: Maciej Barć ","commitid":"9e7b6c95156e35fb5bd8f0d0e2aed876d32e9696","committime":"2023-08-15T11:54:20","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: drop old 2.5.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba7bcf56ffff7ccfd21c908989964f07c5494e60","committime":"2023-06-28T01:16:50","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e697a31a88b83cc5bdc29f0393a08e71e158cd12","committime":"2023-06-28T00:56:24","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: bump to 2.5.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"04e7a974230752ee6ad3ebcef82e6321495c4326","committime":"2023-06-28T00:49:52","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: drop old 2.4.3-r2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"da1d48aca122f76a493dbefc0c97100254634fc8","committime":"2023-04-15T17:31:49","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a5c92115f792ebe4ade575a9a1026b8abfa1bd8b","committime":"2023-04-15T13:57:36","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: bump to 2.5.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"44fa5cf262a4c2e394f7768aad1a8b1e56d90fe6","committime":"2023-04-13T21:31:51","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/904272\nSigned-off-by: Maciej Barć ","commitid":"22e1e10bf3cae8381b8af13491dda22588ce4b1f","committime":"2023-04-13T21:11:09","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: require gmp with USE=cxx"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"45e55a16bae5338b97bb8d012cbe519bccf429c6","committime":"2023-02-06T17:31:46","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/usi-verification-and-security\/opensmt\/pull\/590\nCloses: https:\/\/bugs.gentoo.org\/890794\nSigned-off-by: Maciej Barć ","commitid":"d7cebc801072df5274120a7f38644474e1168ed1","committime":"2023-02-06T16:46:59","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: fix build on musl"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7f2a189245ffe5224106a09d65398f349bd3ab6f","committime":"2023-02-06T16:17:26","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: drop old 2.4.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6098f7fc635b8d470ea26c5fe776389da9eadbab","committime":"2023-01-13T19:02:04","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/890722\nSigned-off-by: Maciej Barć ","commitid":"07c1e07de1d95f15bcbf554e8648686e62a00098","committime":"2023-01-13T18:49:50","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: prevent fetching googletest"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/890724\nSigned-off-by: Maciej Barć ","commitid":"3862b89b135827bfebfa0bad6f67a35cfc472f36","committime":"2023-01-13T18:36:29","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: do not install static libs"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b31c03e9506b5d9ff487f279bf291682708c8aaf","committime":"2023-01-09T02:04:17","packageid":75745,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"77ad3c36ac36c41ac46f1d85ae0fa1964f514270","committime":"2023-01-09T01:26:30","packageid":75745,"repoid":1,"summary":"sci-mathematics\/opensmt: new package; add 2.4.3"}],"dependencies":[{"block":false,"categoryid":393,"description":"BSD replacement for libreadline","ebuildids":[866204,882709],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"bsd@gentoo.org","maintainername":"BSD Project","name":"libedit","packageid":53869,"summary":"GNU Readline is cool, but BSD Readline is cooler :) Thus here is libedit by the NetBSD folks! The glibc\/bsdlibc stuff comes from the debian tarball, thanks to them too :) The patch is handcrafted with a few ideas from libedit.sf.net and a few ideas from the debian package. This patch aims to be as small as possible (so as to make future cvs snapshots cake)."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[866204,882709],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":882709,"firstseen":"2025-11-22T01:12:16.342739","license":"MIT","moddate":"2026-03-28T18:04:21","packageid":75745,"repoid":1,"slot":"0\/2.9.2","uses":["debug","libedit","test"],"version":"2.9.2"},{"archs":["~amd64","~x86"],"ebuildid":866204,"firstseen":"2025-06-06T22:52:25.700587","license":"MIT","moddate":"2026-03-28T18:04:21","packageid":75745,"repoid":1,"slot":"0\/2.7.0","uses":["debug","libedit","test"],"version":"2.7.0"}],"masks":[],"package":{"categoryid":317,"description":"Compact and open-source SMT-solver written in C++","firstseen":"2023-01-09T02:11:15.558491","name":"opensmt","packageid":75745,"summary":"OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API."},"rdependencies":[{"block":false,"categoryid":393,"description":"BSD replacement for libreadline","ebuildids":[866204,882709],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"bsd@gentoo.org","maintainername":"BSD Project","name":"libedit","packageid":53869,"summary":"GNU Readline is cool, but BSD Readline is cooler :) Thus here is libedit by the NetBSD folks! The glibc\/bsdlibc stuff comes from the debian tarball, thanks to them too :) The patch is handcrafted with a few ideas from libedit.sf.net and a few ideas from the debian package. This patch aims to be as small as possible (so as to make future cvs snapshots cake)."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[866204,882709],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/verify.inf.usi.ch\/opensmt\/","https:\/\/github.com\/usi-verification-and-security\/opensmt\/"],"uses":[{"description":"Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https:\/\/wiki.gentoo.org\/wiki\/Project:Quality_Assurance\/Backtraces","isdefault":false,"use":"debug"},{"description":"Use the libedit library (replacement for readline)","isdefault":false,"use":"libedit"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}