{"bugs":[{"bugid":894798,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/maude-3.1-r1 fails to compile (MUSL-CLANG-SYSTEM): MersenneTwister.h:187:2: error: ISO C++17 does not allow register storage class specifier [-Wregister]"}],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"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."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c8c5eae8086122bfb23af95d05a84c2e5314e782","committime":"2026-03-11T18:00:48","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/971098\nSigned-off-by: Alfredo Tupone ","commitid":"29aa2e8ea6367d48fa40f2d90039c9a972d95b4e","committime":"2026-03-11T17:59:12","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: ignore implicit in configure"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"7125b9e99a9d0332453db5fba4f42dc0bcf8ec9c","committime":"2026-03-11T17:49:18","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: add 3.5.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c5ac164384b00a14fa69c6a82514d3d3ad100561","committime":"2026-03-11T15:30:47","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"5bbbd669d5b68d7c665922cbed74eef6f31c2327","committime":"2026-03-11T15:24:51","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: add 3.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6c68f4c5ab5b8dc2fd37f67da0868149ad863f80","committime":"2026-03-10T23:15:48","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"32f28bfa142fd0916e00fe1e9e8f45b1b78877fa","committime":"2026-03-10T23:06:12","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: add 3.3.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fce97c00fa98dd34dc3eac91003194d091ecb660","committime":"2026-03-10T22:00:50","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"93c662187235db0223d958681c86239517e7d103","committime":"2026-03-10T21:29:11","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: add 3.2.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"08a5ce67786dc717bed6e61b38f65bdfbdc4ce7e","committime":"2026-03-09T23:00:50","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/837263\nSigned-off-by: Alfredo Tupone ","commitid":"b1bac0370d783338ee7c2bf4b37d17990ac7eb1e","committime":"2026-03-09T22:45:32","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: link ncurses"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a198e862478387fe37b4d232d51a3edb558cd3e0","committime":"2025-12-19T10:01:01","packageid":45483,"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":45483,"repoid":1,"summary":"*\/*: drop *-linux keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cc7ff4207fbccc7c7d8f8ad3df8ea8ac69e3d0ea","committime":"2024-01-08T12:39:46","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0ef026269d259e047837e32529f79a8185844661","committime":"2024-01-08T12:20:08","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"All of these will be using app-alternatives\/yacc anyway as they're not unsetting\n\nYACC or LEX, so make the dep reflect reality.\n\n(Included both YACC and LEX out of conservatism.)\n\nSigned-off-by: Sam James ","commitid":"3e351352c76720f88f4be9ba91c91923b368481e","committime":"2024-01-08T12:06:26","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: sys-devel\/bison -> app-alternatives\/yacc"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"All of these will be using app-alternatives\/lex anyway as they're not unsetting\n\nYACC or LEX, so make the dep reflect reality.\n\n(Included both YACC and LEX out of conservatism.)\n\nSigned-off-by: Sam James ","commitid":"a2c7afbf80eddacd547e6d402a8a9342e8584182","committime":"2024-01-08T11:46:32","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: sys-devel\/flex -> app-alternatives\/lex"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"418edec57d644e3d0f89ce81e1f0037e408e40fb","committime":"2021-11-12T04:36:50","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/599374\nSigned-off-by: Sam James ","commitid":"4aeee4e148bdab6e4b985309a8c7bb22621088e0","committime":"2021-11-12T04:19:10","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: drop 2.7-r1"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/806758\nSigned-off-by: Sam James ","commitid":"f021cc6cfa1e35eb9c59955830f1fd89bfcb26b4","committime":"2021-11-12T04:16:21","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: disable libsigsegv support (fixes glibc-2.34 build)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3f046397a16802fdb421035ae16934aed026898d","committime":"2021-07-21T15:51:42","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"marecki@gentoo.org","authorname":"Marek Szuba","body":"Signed-off-by: Marek Szuba ","commitid":"b6357d205ad3fea4482b9745c34bf451e5342066","committime":"2021-07-21T13:51:58","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: add 3.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6678206da990d540f7f20cc8749409b1abf95c64","committime":"2021-06-18T13:35:02","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nSigned-off-by: David Seifert ","commitid":"debbda5802b419d2fc69305f281e2200e3daa43f","committime":"2021-06-18T13:15:06","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: Depend on dev-libs\/gmp[cxx(+)]"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e5983ba16945a3687271a4c8110a019c38a5be10","committime":"2021-06-15T03:34:56","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/787851\nSigned-off-by: Sam James ","commitid":"19c04306aa8283cc7adf787a1067aa75537ef14e","committime":"2021-06-15T03:14:50","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: fix build with GCC 11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"41f99fdc916d5e4a1f18c5bfcf67ddda436e9f96","committime":"2020-11-16T23:35:22","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Closes: https:\/\/github.com\/gentoo\/gentoo\/pull\/18281\nCloses: https:\/\/bugs.gentoo.org\/722966\nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"2bd9aac8ca1a4d4015815f1bed718a478b439d57","committime":"2020-11-16T23:21:15","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: respect AR"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":45483,"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":45483,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"753c326941f734769b7258cf8c00bd483f3fd64c","committime":"2016-10-08T12:25:37","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Package-Manager: portage-2.3.1","commitid":"0f50be687b5b3e9113eed10935ab40b9c8108ad0","committime":"2016-10-08T11:54:08","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: Remove old ebuild"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"873d5f697bd8b7aff9317420c977c8396efd9248","committime":"2016-10-07T22:45:30","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Gentoo-bug: 595402\n\nPackage-Manager: portage-2.3.1","commitid":"bdf1aa991523f36a9231c7660956cce6dd5b6935","committime":"2016-10-07T22:37:05","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: Add USE=\"cxx\" dep for dev-lang\/maude-2.7"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ba3d9444bc020155a9e9e156a63519cd4cbfcc16","committime":"2016-02-11T20:21:56","packageid":45483,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Gentoo-Bug: 540210\n* EAPI=6\n* Remove 'autotools-utils.eclass'\n* Add patch from Debian to fix Bison bug\n\nPackage-Manager: portage-2.2.27","commitid":"026f729e9c13dcc76ea0f43d97342b1164a7271e","committime":"2016-02-11T20:04:30","packageid":45483,"repoid":1,"summary":"dev-lang\/maude: Version bump to 2.7"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ef24c6d38ee6f1f594bfced120ea11754942aaf9","committime":"2015-08-24T11:26:48","packageid":45483,"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":45483,"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":45483,"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":45483,"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":45483,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":393,"description":"Tecla command-line editing library","ebuildids":[730049,892398,892401,892510,892528],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"libtecla","packageid":43037,"summary":"The tecla library provides UNIX and LINUX programs with interactive command line editing facilities, similar to those of the UNIX tcsh shell. In addition to simple command-line editing, it supports recall of previously entered command lines, TAB completion of file names or other tokens, and in-line wild-card expansion of filenames. The internal functions which perform file-name completion and wild-card expansion are also available externally for optional use by programs."},{"block":false,"categoryid":318,"description":"Binary Decision Diagram Package","ebuildids":[730049,892398,892401,892510,892528],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"buddy","packageid":43091,"summary":"A Binary Decision Diagram library, with :many highly efficient vectorized BDD operations,dynamic variable reordering,automated garbage collection,a C++ interface with automatic reference counting,and much more."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[730049,892398,892401,892510,892528],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[],"ebuilds":[{"archs":["~amd64","~ppc","~x86"],"ebuildid":892528,"firstseen":"2026-03-11T18:04:52.916513","license":"GPL-2","moddate":"2026-03-22T20:20:50","packageid":45483,"repoid":1,"slot":"0","uses":["doc","examples"],"version":"3.5.1"},{"archs":["~amd64","~ppc","~x86"],"ebuildid":892510,"firstseen":"2026-03-11T15:44:02.769550","license":"GPL-2","moddate":"2026-03-22T20:20:50","packageid":45483,"repoid":1,"slot":"0","uses":["doc","examples"],"version":"3.4"},{"archs":["~amd64","~ppc","~x86"],"ebuildid":892401,"firstseen":"2026-03-10T23:19:32.645760","license":"GPL-2","moddate":"2026-03-22T20:20:50","packageid":45483,"repoid":1,"slot":"0","uses":["doc","examples"],"version":"3.3.1"},{"archs":["~amd64","~ppc","~x86"],"ebuildid":892398,"firstseen":"2026-03-10T22:19:20.699981","license":"GPL-2","moddate":"2026-03-22T20:20:50","packageid":45483,"repoid":1,"slot":"0","uses":["doc","examples"],"version":"3.2.2"},{"archs":["~amd64","~ppc","~x86"],"ebuildid":730049,"firstseen":"2021-11-12T04:50:02.254160","license":"GPL-2","moddate":"2026-03-22T20:20:50","packageid":45483,"repoid":1,"slot":"0","uses":["doc","examples"],"version":"3.1-r1"}],"masks":[],"package":{"categoryid":450,"description":"High-level specification language for equational and logic programming","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"maude","packageid":45483,"summary":"Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation."},"rdependencies":[{"block":false,"categoryid":393,"description":"Tecla command-line editing library","ebuildids":[730049,892398,892401,892510,892528],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"libtecla","packageid":43037,"summary":"The tecla library provides UNIX and LINUX programs with interactive command line editing facilities, similar to those of the UNIX tcsh shell. In addition to simple command-line editing, it supports recall of previously entered command lines, TAB completion of file names or other tokens, and in-line wild-card expansion of filenames. The internal functions which perform file-name completion and wild-card expansion are also available externally for optional use by programs."},{"block":false,"categoryid":318,"description":"Binary Decision Diagram Package","ebuildids":[730049,892398,892401,892510,892528],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"buddy","packageid":43091,"summary":"A Binary Decision Diagram library, with :many highly efficient vectorized BDD operations,dynamic variable reordering,automated garbage collection,a C++ interface with automatic reference counting,and much more."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[730049,892398,892401,892510,892528],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"43a4988e0fa15f038220ebd74aa888ace0c9b303","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/maude.cs.uiuc.edu\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"}]}