{"bugs":[{"bugid":950238,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/prover9-2009.11a-r2 - [go-1.24] [gcc-15] mace4.c:() undefined reference to mace4_exit"}],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"162733d09b6b2aa8c74ac6d5fc9997708dc06ed6","committime":"2025-02-23T22:33:47","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jy6x2b32pie9@yahoo.com","authorname":"NHOrus","body":"Add ints to implicitly-declared function parameters that are actually ints\nRemove all the cleans that were scattered around makefiles. They are useful\nfor development only and only hinder packaged build.\nPipe CFLAG to last place it's needed to be used, for linking a library.\n\nCloses: https:\/\/bugs.gentoo.org\/728030\nCloses: https:\/\/bugs.gentoo.org\/871261\nCloses: https:\/\/bugs.gentoo.org\/881475\nCloses: https:\/\/bugs.gentoo.org\/886597\nCloses: https:\/\/bugs.gentoo.org\/887409\nCloses: https:\/\/bugs.gentoo.org\/911554\nSigned-off-by: NHOrus \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/40720\nSigned-off-by: Maciej Barć ","commitid":"4d739c66f105c508c0eff3ac4d8d287debc86ae0","committime":"2025-02-23T19:34:55","packageid":58656,"repoid":1,"summary":"sci-mathematics\/prover9: Port to C99, fix parallel build."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5b060e08f696cb58ebaf7bda570bd8cf22a162d4","committime":"2024-02-14T17:18:51","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/725594\nSigned-off-by: Maciej Barć ","commitid":"ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd","committime":"2024-02-14T16:19:37","packageid":58656,"repoid":1,"summary":"sci-mathematics\/prover9: fix tests; bump to EAPI 8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"824405877a9f8947595238a7dfec9a60b7e7c5e5","committime":"2021-04-16T11:35:32","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3e0908e84f7ca0a4b1cdd03a51994534757e6040","committime":"2021-04-16T07:53:09","packageid":58656,"repoid":1,"summary":"sci-mathematics\/prover9: eutils--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"78382e2e65cf36004525fb8bfcaccf1cc24375b8","committime":"2020-02-22T21:36:22","packageid":58656,"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":58656,"repoid":1,"summary":"*\/*: [QA] Use consistent function definition formatting"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8dce01398e4925bce22521a19dc31df74ae6f25f","committime":"2020-01-07T00:25:34","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Mark Wright ","commitid":"422dbf48dc19c6268e86dd4c1ca1217f7dd4df85","committime":"2020-01-07T00:07:36","packageid":58656,"repoid":1,"summary":"sci-mathematics\/prover9: eapi=7, add src_test"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a0eb8fdaff3c9ee27d432543fb8bf74214039d34","committime":"2019-05-03T01:24:36","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"m.mairkeimberger@gmail.com","authorname":"Michael Mair-Keimberger","body":"Signed-off-by: Michael Mair-Keimberger \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/11860\nSigned-off-by: Aaron Bauman ","commitid":"9313279243fd73849c246068197b916292a87b45","committime":"2019-04-29T10:47:19","packageid":58656,"repoid":1,"summary":"sci-mathematics\/prover9: use HTTPS"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":58656,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"malfatti@neuro.ufrn.br","authorname":"T. Malfatti","commitid":"8457ba6f9fd6f0dbafcca1fb375788eeea02aae1","committime":"2017-01-26T18:44:34","packageid":58656,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e4ece068dfce4ec8d08c6029584a201fd12ce72b","committime":"2017-01-21T02:04:50","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"vapier@gentoo.org","authorname":"Mike Frysinger","commitid":"62fa24bb8afe5b4e83a853b62649cb5a7ae100f5","committime":"2017-01-21T01:52:40","packageid":58656,"repoid":1,"summary":"fix quoting to a lot of patch calls"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ef24c6d38ee6f1f594bfced120ea11754942aaf9","committime":"2015-08-24T11:26:48","packageid":58656,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jlec@gentoo.org","authorname":"Justin Lecher","body":"Convert all URLs for sites supporting encrypted connections from http to https\n\nSigned-off-by: Justin Lecher ","commitid":"eaaface92ee81f30a6ac66fe7acbcc42c00dc450","committime":"2015-08-24T10:47:45","packageid":58656,"repoid":1,"summary":"Use https by default"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":58656,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":58656,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":58656,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":855007,"firstseen":"2025-02-23T22:51:05.005109","license":"GPL-2","moddate":"2026-03-22T20:20:57","packageid":58656,"repoid":1,"slot":"0","uses":["examples"],"version":"2009.11a-r2"}],"masks":[],"package":{"categoryid":317,"description":"Automated theorem prover for first-order and equational logic","firstseen":"2012-01-08T16:20:08.260092","maintainer":"gienah@gentoo.org","maintainername":"Mark Wright","name":"prover9","packageid":58656,"summary":"Prover9 and Mace4 Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover."},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/www.cs.unm.edu\/~mccune\/mace4\/"],"uses":[{"description":"Install examples, usually source code","isdefault":false,"use":"examples"}]}