{"bugs":[{"bugid":830052,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/verit-2021.06.2 - src\/...\/veriT-qsort.c: fatal error: sys\/cdefs.h: No such file or directory"},{"bugid":927329,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/verit-2021.06.2 calls commands that do not exist: CFLAGS+="}],"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":"826925eec6911480b66f29892ae963b2ec8cb660","committime":"2022-03-10T21:21:33","packageid":73910,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"269048a4f656738773e3f63bff5dba7881f601e5","committime":"2022-03-10T04:44:48","packageid":73910,"repoid":1,"summary":"sci-mathematics\/verit: [QA] fix UnusedInherits (autotools)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"46afab2c0bbee8e8e3f6cbe664d82631bb14fe45","committime":"2021-12-24T21:36:33","packageid":73910,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"ccac2b00f9940a4e5c155dd94664930ef380e95b","committime":"2021-12-24T21:17:23","packageid":73910,"repoid":1,"summary":"sci-mathematics\/verit: src_install - default"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"80be31a52bbd139f5aaaf158e74f893747e7f441","committime":"2021-12-24T14:06:40","packageid":73910,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"8062e93446abf76ba3f568e61bbc5f77bf4be2b1","committime":"2021-12-24T13:58:57","packageid":73910,"repoid":1,"summary":"sci-mathematics\/verit: new package; add version 2021.06.2"}],"dependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[734689],"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":734689,"firstseen":"2021-12-24T14:10:06.082751","license":"BSD","moddate":"2022-03-10T21:34:44","packageid":73910,"repoid":1,"slot":"0","uses":[],"version":"2021.06.2"}],"masks":[],"package":{"categoryid":317,"description":"An open, trustable and efficient SMT-prover","firstseen":"2021-12-24T14:10:06.082751","name":"verit","packageid":73910,"summary":"veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, proof-producing, and complete for quantifier-free formulas with uninterpreted functions and linear arithmetic on real numbers and integers. It also offers good support for quantifiers. The input format is the SMT-LIB 2.0 language and DIMACS."},"rdependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[734689],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"d7d651a3f16a89ff2e0067af3dec9c6eecc0ca6b","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/verit.loria.fr\/"],"uses":[]}