{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":330,"name":"x11-libs","summary":"The x11-libs category contains various X11-related libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a198e862478387fe37b4d232d51a3edb558cd3e0","committime":"2025-12-19T10:01:01","packageid":55653,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Bug: https:\/\/bugs.gentoo.org\/473598\nBug: https:\/\/bugs.gentoo.org\/720224\nSigned-off-by: Fabian Groffen ","commitid":"2d25fad95cbaa525c8945d8e582c749d49524f49","committime":"2025-12-19T09:25:43","packageid":55653,"repoid":1,"summary":"*\/*: drop *-linux keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b082176271c4f0d63a97962e4b75785991196236","committime":"2025-12-17T15:16:13","packageid":55653,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"The arch and OS that matches it are obsolete.\n\nSigned-off-by: Fabian Groffen ","commitid":"0a7ffce789e36042bac35ea5e0b8b2b654e5b490","committime":"2025-12-17T15:07:23","packageid":55653,"repoid":1,"summary":"*: remove ppc-macos keyword"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f2979793991144637956e4225ce4d0235900c1a2","committime":"2023-06-09T15:16:56","packageid":55653,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"06c9e612f2b288ec663c46f230b539757fc2915f","committime":"2023-06-03T14:55:14","packageid":55653,"repoid":1,"summary":"sci-mathematics\/otter: destabilize for ~x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"47541fedd17bf36c69a3066a7ae17dc221c52ea0","committime":"2022-10-11T11:48:18","packageid":55653,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ionen@gentoo.org","authorname":"Ionen Wolkens","body":"Closes: https:\/\/bugs.gentoo.org\/863257\nCloses: https:\/\/bugs.gentoo.org\/871423\nSigned-off-by: Ionen Wolkens ","commitid":"d540cd1f90c6cac3c4e81401f42ebf4c769ca7b6","committime":"2022-10-11T11:38:15","packageid":55653,"repoid":1,"summary":"sci-mathematics\/otter: fix lto mismatch + build w\/ upcoming clang16"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b5624972379c0e4d508e5d6f573e3507966e76d2","committime":"2020-11-01T00:35:11","packageid":55653,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Too many definitions to bother with a patch and\ndead upstream, so pass in -fcommon.\n\nCloses: https:\/\/bugs.gentoo.org\/707482\nPackage-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"82987429411715840476b5425a48c1fb538e9804","committime":"2020-10-31T19:09:56","packageid":55653,"repoid":1,"summary":"sci-mathematics\/otter: fix build with -fno-common"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a16aeca12a803d5e50a669a0838ce3785f09cfa8","committime":"2017-03-11T11:02:16","packageid":55653,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Package-Manager: Portage-2.3.4, Repoman-2.3.2","commitid":"91b7265ee51e2c1c9c606869215c427f0a5ec4b7","committime":"2017-03-11T10:34:54","packageid":55653,"repoid":1,"summary":"sci-mathematics\/otter: Remove old"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Package-Manager: Portage-2.3.4, Repoman-2.3.2","commitid":"dacb97deb5e05b5ab4ff8c2fca270d4b818a1dbe","committime":"2017-03-11T10:34:09","packageid":55653,"repoid":1,"summary":"sci-mathematics\/otter: Mark amd64 and x86 stable"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Package-Manager: Portage-2.3.4, Repoman-2.3.2","commitid":"1a9e29c464bd733f12b95784c0b89ab9777891a8","committime":"2017-03-11T10:33:08","packageid":55653,"repoid":1,"summary":"sci-mathematics\/otter: Port to EAPI 6"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":55653,"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":55653,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":55653,"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":55653,"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":55653,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":330,"description":"X.Org Xaw library","ebuildids":[764628],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"x11@gentoo.org","maintainername":"X11","name":"libXaw","packageid":46748},{"block":false,"categoryid":330,"description":"X.Org X Toolkit Intrinsics library","ebuildids":[764628],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"x11@gentoo.org","maintainername":"X11","name":"libXt","packageid":47667},{"block":false,"categoryid":330,"description":"X.Org X11 library","ebuildids":[764628],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"x11@gentoo.org","maintainername":"X11","name":"libX11","packageid":47861}],"depending":[],"ebuilds":[{"archs":["amd64","~ppc","~x86"],"ebuildid":764628,"firstseen":"2022-10-11T12:53:12.001078","license":"otter","moddate":"2026-03-22T20:20:57","packageid":55653,"repoid":1,"slot":"0","uses":[],"version":"3.3-r4"}],"masks":[],"package":{"categoryid":317,"description":"An Automated Deduction System","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"otter","packageid":55653},"rdependencies":[{"block":false,"categoryid":330,"description":"X.Org Xaw library","ebuildids":[764628],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"x11@gentoo.org","maintainername":"X11","name":"libXaw","packageid":46748},{"block":false,"categoryid":330,"description":"X.Org X Toolkit Intrinsics library","ebuildids":[764628],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"x11@gentoo.org","maintainername":"X11","name":"libXt","packageid":47667},{"block":false,"categoryid":330,"description":"X.Org X11 library","ebuildids":[764628],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"x11@gentoo.org","maintainername":"X11","name":"libX11","packageid":47861}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/www.cs.unm.edu\/~mccune\/otter\/"],"uses":[]}