{"bugs":[],"categories":[{"categoryid":406,"name":"dev-java","summary":"The dev-java category contains libraries and utilities relevant to the Java programming language."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":318,"name":"sci-libs","summary":"The sci-libs category contains various science-related libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":381,"name":"sys-libs","summary":"The sys-libs category contains various system-level libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"186b02ff12d65e3a8d7ea6110add7cb6f81641b8","committime":"2024-10-17T15:48:40","packageid":69283,"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":"59d39fbb9cde5ae1329cd2f96e420da264c33d82","committime":"2024-10-17T14:38:59","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: dekeyword x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"543d6aade047d8d4e6cba3257502c6f84e300251","committime":"2024-09-22T08:34:01","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/934053\nSigned-off-by: Alfredo Tupone ","commitid":"ae12690844146728289a3d499fa104e40fea6a5e","committime":"2024-09-22T08:18:26","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: fix build on musl"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fe01656e186b178303863c92548e5c59394d8377","committime":"2024-05-20T13:18:51","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/839402\nSigned-off-by: Alfredo Tupone ","commitid":"c11cbec28dbd063e597839ed1603f9bea62d3e73","committime":"2024-05-20T13:03:04","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: fix musl build"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27a3474c35bb8ff9db69f21086480f164690233c","committime":"2024-01-19T21:48:13","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"81be47150ce44a0ed7c89b58fa1dafa072907392","committime":"2024-01-19T21:30:37","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: PythonCompatUpdate"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5188ea993a880b9356073b66902d33bcec345b3b","committime":"2023-03-05T11:48:51","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"kaichun.ning@gmail.com","authorname":"Kai-Chun Ning","body":"Closes: https:\/\/bugs.gentoo.org\/883273\nSigned-off-by: Kai-Chun Ning \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/29933\nSigned-off-by: Sam James ","commitid":"978a74a61f2ca616c39051f9de4aab1214920bca","committime":"2023-03-05T10:53:54","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: fix build with bash 5.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c76cf247d38d7b100fc80d5da7acbf227dae9022","committime":"2023-02-22T11:31:54","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"efd139384b4115a72399f8afe83890c8c021b6dc","committime":"2023-02-22T11:25:04","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: add support to python 3.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"04b985b896586355a206d2b7ab1898eac96a1f91","committime":"2023-01-29T13:16:51","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"b20b0dbffda6f89cf521ba6c714803d26054e177","committime":"2023-01-29T13:11:43","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: drop 1.7-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d0ebee607de5c63d747980fbeb0806c193a29c9","committime":"2023-01-14T13:02:17","packageid":69283,"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":69283,"repoid":1,"summary":"*\/*: remove py3.8 from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b563beb1419a80ba623567da333f441563df9f86","committime":"2022-11-11T22:46:48","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/878679\nSigned-off-by: Alfredo Tupone ","commitid":"ebdd2a9c7d597d29d1efa38f8bac6b3e68a8adb7","committime":"2022-11-11T22:34:11","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: drop toml usage"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5342468b8396f2551db5dbf833987d4ac4b7f93a","committime":"2022-10-15T15:19:03","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c","committime":"2022-10-15T14:56:16","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: fix PythonHasVersionUsage"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"63f7c09f68329eaeaba83fa85a199f5455323415","committime":"2022-02-17T14:21:43","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/833362\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"25d067881ac71f918b69864739c6e7fabbf5d9a4","committime":"2022-02-17T14:10:32","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: fix deps check"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d2e73b781b99bfb535f2506b4c5ca4c56715b00b","committime":"2022-02-09T01:50:43","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"This file is installed and embeds the libdir path which will affect\nconsumers trying to build against\/detect cvc4.\n\nSee: 03321382501b45387f99917ba5acf9aa627805bd\nCloses: https:\/\/bugs.gentoo.org\/820515\nSigned-off-by: Sam James ","commitid":"2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370","committime":"2022-02-09T01:37:43","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: revbump for CMake config file fix"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db39ed323def8de89fe3a84b018e17982b0fd8dc","committime":"2022-02-08T09:07:32","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/823023\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"222d7c3f5514f8cef25d7b119ebd97ff3a532ea1","committime":"2022-02-08T08:56:11","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: fix deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60cdd8fc040bcea52b684c991b22d28a6c1ce320","committime":"2022-02-08T07:52:29","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/829088\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"a67e2887fe1c15ec3bbabb3907ce352d1fd24803","committime":"2022-02-08T07:44:06","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: remove unused CMake variables"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5849f0977496c9ed8c4649babec1adbfbb30799a","committime":"2022-02-05T11:36:45","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"e137bda5f125920805b32c956f63726445bf41f9","committime":"2022-02-05T11:21:55","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: PythonCompatUpdate"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"96707e0ac199395008211a1d40e2b8b1e250e940","committime":"2021-05-27T17:04:59","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"f156562b157e5e59722065a39c5264413fcde2f1","committime":"2021-05-27T16:45:43","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: version bump to 1.8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72bc7839f2e9e92df3834264f29890c160b94c64","committime":"2021-04-05T17:04:57","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.3\nSigned-off-by: Andreas Sturmlechner ","commitid":"b953b436445abffd13d9320514039055fe4eba04","committime":"2021-04-05T11:20:48","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: python3_9, switch to cmake.eclass"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c6c2efe4c1a02689bcd5e6e58a54035dec44025","committime":"2021-01-31T02:18:05","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"d8cbaa62dbf4abc31cc74d2cc12e3d0c7ac9b70a","committime":"2021-01-30T23:36:06","packageid":69283,"repoid":1,"summary":"*\/*: Remove obsolete values from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dcdec439559bd3dbf583382cda731faf9ae1e54e","committime":"2021-01-20T13:33:04","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Signed-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"60920d2bc1ae9b64adf314054b4b463e97ae72df","committime":"2021-01-20T10:15:32","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: Remove old"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/766099\nPackage-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"5e516f03a0f0543480601b545cadfa074c6051eb","committime":"2021-01-20T07:31:58","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: add python dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"78382e2e65cf36004525fb8bfcaccf1cc24375b8","committime":"2020-02-22T21:36:22","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"3b8cba93fab70dd0fa89cebdd4b37c732580e9ac","committime":"2020-02-22T21:07:26","packageid":69283,"repoid":1,"summary":"*\/*: [QA] Use consistent function definition formatting"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a6dcb072e49bd9ea2ae6beb44782dcf3207abb8","committime":"2019-07-25T06:29:11","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/github.com\/gentoo\/gentoo\/pull\/12536\nSigned-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"f0be729b2f2055afe79f68cb95c9e856d0303e82","committime":"2019-07-25T06:12:57","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: Add readline use flag"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86d78995db93dc994d1421b9d93cae311f910f06","committime":"2019-07-23T14:06:27","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/github.com\/gentoo\/gentoo\/pull\/12520\nSigned-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"d72e9b862cbc9ccfabd0df7f53e7fe7664d22ae9","committime":"2019-07-23T13:20:29","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: add statistics, replay and proofs use flag"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a532eb46d0931f7986ef81748f21bbf9af99f617","committime":"2019-07-14T20:26:58","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/688652\nSigned-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"0165d1484b0c9ad0f2272960c80703e2c0b231f2","committime":"2019-07-14T19:48:18","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: Bump to 1.7"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5884c9a21cfd312870e359941b14fcb202b9bc80","committime":"2018-07-18T06:44:05","packageid":69283,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.40, Repoman-2.3.9","commitid":"ed51ccdb299c48d49d8750b05299431723016732","committime":"2018-07-18T06:28:48","packageid":69283,"repoid":1,"summary":"sci-mathematics\/cvc4: Add cvc4 to the tree"}],"dependencies":[{"block":false,"categoryid":393,"description":"Boost Libraries for C++","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"cpp@gentoo.org","maintainername":"Gentoo C++ Project","name":"boost","packageid":45155},{"block":false,"categoryid":318,"description":"Class library (C++) for numbers","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci-mathematics@gentoo.org","maintainername":"Gentoo Mathematics Project","name":"cln","packageid":46201,"summary":"A Class Library for Numbers is a library for computations with all kinds of numbers in arbitrary precision. It has a set of number classes, including integers (with unlimited precision), reals with various precisions (including unlimited), rationals, complex numbers and polynomials. The kernel is written in assembly language. It uses automatic garbage collection."},{"block":false,"categoryid":406,"description":"A parser generator for many languages","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"antlr","packageid":51720},{"block":false,"categoryid":381,"description":"Another cute console display library","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"readline","packageid":53265},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":393,"description":"The ANTLR3 C Runtime","ebuildids":[812385],"firstseen":"2011-06-10T14:41:09.644410","name":"antlr-c","packageid":57508}],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":812385,"firstseen":"2024-01-19T22:00:06.720223","license":"GPL-2","moddate":"2024-12-17T22:35:47","packageid":69283,"repoid":1,"slot":"0","uses":["cln","proofs","readline","statistics"],"version":"1.8-r5"}],"masks":[],"package":{"categoryid":317,"description":"Automatic theorem prover for satisfiability modulo theories (SMT) problems","firstseen":"2018-07-18T22:57:31.709458","name":"cvc4","packageid":69283,"summary":"CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination."},"rdependencies":[{"block":false,"categoryid":393,"description":"Boost Libraries for C++","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"cpp@gentoo.org","maintainername":"Gentoo C++ Project","name":"boost","packageid":45155},{"block":false,"categoryid":318,"description":"Class library (C++) for numbers","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci-mathematics@gentoo.org","maintainername":"Gentoo Mathematics Project","name":"cln","packageid":46201,"summary":"A Class Library for Numbers is a library for computations with all kinds of numbers in arbitrary precision. It has a set of number classes, including integers (with unlimited precision), reals with various precisions (including unlimited), rationals, complex numbers and polynomials. The kernel is written in assembly language. It uses automatic garbage collection."},{"block":false,"categoryid":406,"description":"A parser generator for many languages","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"antlr","packageid":51720},{"block":false,"categoryid":381,"description":"Another cute console display library","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"readline","packageid":53265},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[812385],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":393,"description":"The ANTLR3 C Runtime","ebuildids":[812385],"firstseen":"2011-06-10T14:41:09.644410","name":"antlr-c","packageid":57508}],"repos":[{"branch":"master","lastcommit":"93e86ee20919723e3086ed2d189ad1e8587049ca","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/cvc4.github.io\/"],"uses":[{"defaultflag":true,"description":"Use sci-libs\/cln","isdefault":true,"packageid":69283,"use":"cln"},{"description":"Support for proof generation","isdefault":false,"packageid":69283,"use":"proofs"},{"description":"Enable support for libreadline, a GNU line-editing library that almost everyone wants","isdefault":false,"use":"readline"},{"defaultflag":true,"description":"Include statistics","isdefault":true,"packageid":69283,"use":"statistics"}]}