{"bugs":[],"categories":[{"categoryid":406,"name":"dev-java","summary":"The dev-java category contains libraries and utilities relevant to the Java programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"186b02ff12d65e3a8d7ea6110add7cb6f81641b8","committime":"2024-10-17T15:48:40","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"After a message to gentoo-dev ML, and no reply from any user on x86,\n\nwe decided to dekeyword most Java packages from x86, and reverse\n\ndependencies of them.\n\nSigned-off-by: Arthur Zamarin ","commitid":"866a7da0e8b5132de2d601d4265573db8174e9e2","committime":"2024-10-17T14:39:04","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: dekeyword x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2dc3c130c5278bdb6c9ccd085df2dddf1186e6ed","committime":"2024-10-02T10:04:09","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gentoo@pogatzki.net","authorname":"Volkmar W. Pogatzki","body":"Signed-off-by: Volkmar W. Pogatzki \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/38846\nSigned-off-by: Maciej Barć ","commitid":"aa42cf05729dbafe24379714a71bb56f47bd7eea","committime":"2024-10-02T04:53:54","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: drop 2.5_p20211018"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3963c8277eb56378699f76aa6fca46f3b0e1f41a","committime":"2024-10-01T23:48:49","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c8ffeb4d7d5e9ff0ffd7cd142ca784be82729843","committime":"2024-10-01T23:31:59","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: Stabilize 2.5_p20211018-r1 amd64, #940447"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c77b5dbd04a0e063d95545b9ed7954fc4a6294d0","committime":"2024-09-03T08:19:09","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gentoo@pogatzki.net","authorname":"Volkmar W. Pogatzki","body":"Signed-off-by: Volkmar W. Pogatzki \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/37468\/commits\/596ccf2967564a9e90a0fa1dd86c5b1053f179be\nSigned-off-by: Miroslav Šulc ","commitid":"016c0beb70a8e56a047afad0353b001d394fc3fe","committime":"2024-07-12T10:55:16","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: build without BSFIX, drop java-ant-2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86257ab84886ecbebf90e9e891d3490a1c8d1e35","committime":"2023-03-04T16:46:55","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5b13fe506b556c1cf2a69b436a36ffc300ae8366","committime":"2023-03-04T16:07:24","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cd2ace368ce54903960cb93cc7fcd96278129b95","committime":"2023-01-28T00:43:18","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"68e295b1b73b6d0510c6ba6c8f1d153d664c583f","committime":"2023-01-28T00:15:00","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a6324242e11a89033ade1be590dfc12e6747447b","committime":"2022-10-15T19:48:54","packageid":73922,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"conikost@gentoo.org","authorname":"Conrad Kostecki","body":"Signed-off-by: Conrad Kostecki ","commitid":"b99c06f00cd852e0f39547487ec75422bac46baf","committime":"2022-10-15T19:19:40","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: fix QA BadDescription"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"619f4c42678a430c47fea7b31c0f7c321dbf8d33","committime":"2021-12-28T17:51:36","packageid":73922,"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ć ","commitid":"eb51ca1449d7cb1ed83dfbb05c6dbb7ba6a285ab","committime":"2021-12-28T17:44:30","packageid":73922,"repoid":1,"summary":"sci-mathematics\/smtinterpol: new package; add version 2.5_p20211018"}],"dependencies":[{"block":false,"categoryid":396,"description":"Virtual for Java Development Kit (JDK)","ebuildids":[836977],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"jdk","packageid":42905},{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[836977],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."}],"depending":[],"ebuilds":[{"archs":["amd64"],"ebuildid":836977,"firstseen":"2024-09-03T09:37:50.346358","license":"LGPL-3","moddate":"2026-01-25T15:05:29","packageid":73922,"repoid":1,"slot":"0","uses":[],"version":"2.5_p20211018-r1"}],"masks":[],"package":{"categoryid":317,"description":"Interpolating SMT-solver computing Craig interpolants for various theories","firstseen":"2021-12-28T18:09:09.523053","name":"smtinterpol","packageid":73922},"rdependencies":[{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[836977],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."},{"block":false,"categoryid":396,"description":"Virtual for Java Runtime Environment (JRE)","ebuildids":[836977],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"jre","packageid":54546}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ultimate-pa\/smtinterpol\/","https:\/\/ultimate.informatik.uni-freiburg.de\/smtinterpol\/"],"uses":[]}