{"bugs":[{"bugid":832705,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-erlang\/proper-1.3 - This BEAM file was compiled for a later version of the run-time system than 23."},{"bugid":961092,"firstseen":"2025-08-05T08:48:23.873508","severity":"normal","status":"CONFIRMED","summary":"dev-erlang\/proper-1.4 - [gcc-16] Compiling src\/proper_gen.erl failed:"}],"categories":[{"categoryid":484,"name":"dev-erlang","summary":"The dev-erlang category contains libraries, utilities or bindings written in or for the Erlang programming language."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6248baf72efa6c6e78e101b4ff65e24b986c6bf7","committime":"2024-06-11T06:20:59","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"ddd7800f057efcb1bec7ef2d26b68137354127aa","committime":"2024-06-11T05:59:54","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: drop 1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8232764f7d5948eb670b551e775f180d386094b7","committime":"2024-06-11T05:37:39","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4e18eeb06d5624e174d1d2c3524eb513c2a23b38","committime":"2024-06-11T05:26:49","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Stabilize 1.4 x86, #934023"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"62cc985545eb11e4667481b7f082ddaf0296ed67","committime":"2024-06-10T20:33:57","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"485919183d30d0f6112b7729b85b09c367f8f3b9","committime":"2024-06-10T20:25:37","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Stabilize 1.4 amd64, #934023"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7399f46f91b2c3a0d5146bcb592becd95d2f8317","committime":"2024-06-10T20:18:51","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"dbb7f546070e8a48dfdc681660825d69d3a1318b","committime":"2024-06-10T20:00:49","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: dekeyword ia64"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Those are packages keyworded for ppc and not ppc64, weird, most likely\n\nlegacy keyword, so just drop.\n\nSigned-off-by: Arthur Zamarin ","commitid":"dd5609169f0e8f35e1cdb9b217d9bed795668a7b","committime":"2024-06-10T19:56:22","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: dekeyword ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"adfbb397522aeb5a7057425fe145c29cb6ad3f8c","committime":"2024-05-25T12:18:40","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"flow@gentoo.org","authorname":"Florian Schmaus","body":"Signed-off-by: Florian Schmaus ","commitid":"fe85c0b7d36e78c33e6ab2587512b2fe1a4ed520","committime":"2024-05-25T11:59:21","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: drop src_configure"},{"authoremail":"mmk@levelnine.at","authorname":"Michael Mair-Keimberger","body":"Signed-off-by: Michael Mair-Keimberger \n\nBug: https:\/\/bugs.gentoo.org\/913526\nSigned-off-by: Florian Schmaus ","commitid":"79b0fa647de9b32fd6aae74c6176d63fe0aeb6ae","committime":"2024-05-23T16:43:50","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: add 1.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2622c41bb847ffe9e4c65c29f99f286139a1c418","committime":"2023-09-02T11:46:43","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"Signed-off-by: Andreas Sturmlechner ","commitid":"b5be657e5d062e21b0fb361679cfdbe01194f766","committime":"2023-08-26T15:18:18","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: drop 1.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a667a53daed270142b2d8cc29e37b17f355eaf1f","committime":"2020-07-01T13:09:13","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"hanno@gentoo.org","authorname":"Hanno Böck","body":"Broken upstream with latest erlang.\n\nCloses: https:\/\/bugs.gentoo.org\/720472\nSigned-off-by: Hanno Böck \nPackage-Manager: Portage-2.3.103, Repoman-2.3.23","commitid":"792a1b81e0868a0fc2f23b68ad89e9a7dbe4667d","committime":"2020-07-01T12:08:48","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Disable tests"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4f9a98f91105123bdb3fe6ed49ca09ec2b11bd3b","committime":"2019-12-07T14:06:02","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arkamar@atlas.cz","authorname":"Petr Vaněk","body":"Bug: https:\/\/bugs.gentoo.org\/661080\nPackage-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Petr Vaněk \nSigned-off-by: Sergei Trofimovich ","commitid":"defb6d0c0a0cfafe6deb9059302254197961b9ed","committime":"2019-11-28T13:16:24","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: subscribe to dev-lang\/erlang subslot"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c8c2c1233797b21e238f513fbf66219cc1ee792f","committime":"2019-09-13T12:45:32","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"7df503ec2e9e5bc914ceb011e5c865cb036dfe29","committime":"2019-09-13T12:26:01","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: x86 stable wrt bug #694160"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"1edba439375545e9eae7024e7c9b706bdf146c75","committime":"2019-09-13T12:01:01","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: ppc stable wrt bug #694160"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"62653fddbb957736203b677b3a86a39e7ac59c72","committime":"2019-09-13T07:05:39","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"413821c999451423af37300681a821fb973e0e2f","committime":"2019-09-13T06:36:37","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: amd64 stable wrt bug #694160"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4850530fa4e29914c99be9c41f40f2017baff90a","committime":"2018-10-24T22:04:16","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Piotr Żołnowski","body":"Bug: https:\/\/bugs.gentoo.org\/626260\nSigned-off-by: Amadeusz Piotr Żołnowski ","commitid":"0da03feb048c0aafd52f92cb8fdcc422ad622d1e","committime":"2018-10-20T20:32:14","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Bump version"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cc19b7872f326ba27e8087480a255824236fae7e","committime":"2018-03-28T19:09:57","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"pacho@gentoo.org","authorname":"Pacho Ramos","body":"Package-Manager: Portage-2.3.26, Repoman-2.3.7","commitid":"5b35d91e8cbdcf13693f90ad0b5fa1addcb97ad9","committime":"2018-03-28T18:55:02","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Drop old, to allow removal of vulnerable erlang"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":65518,"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":65518,"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":65518,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"56f9d5ce9b9cab78a8d50190bf4ab96a8ff1d2d3","committime":"2017-01-01T13:02:12","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"5162eabdc2f30a584e56db5f075d95caf59e02b8","committime":"2017-01-01T12:21:50","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: ppc stable wrt bug #603800"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e981d79f3217f21edd0b00df54a843e64ebcf119","committime":"2016-12-29T11:02:12","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"385324626e39f8ed939b908981d0b6d1e899f4d6","committime":"2016-12-29T10:32:06","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: x86 stable wrt bug #603800"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"90f7d7ee843ce3a9da71970b63fbeecda4a4f2ca","committime":"2016-12-29T10:19:47","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"ced3996d2107905cebc7d45e8b3742e60642b7d7","committime":"2016-12-29T10:02:41","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: amd64 stable wrt bug #603800"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"69a04ea8440bbdfd9a9b4538a9e407ea1e1fb642","committime":"2016-09-10T21:42:26","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","commitid":"daa1e3ead45175465ebec110171cca484ae9a7c8","committime":"2016-09-10T21:27:47","packageid":65518,"repoid":1,"summary":"Merge branch 'ejabberd-16.08'"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","body":"Package-Manager: portage-2.3.0","commitid":"225a8cdd24fe89a72f7746908568f023c70a45f3","committime":"2016-08-29T20:53:40","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Bump version to 1.2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"52e675fbbf0fce1e398b19044c4215316fbe9820","committime":"2016-08-20T20:22:29","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"blueness@gentoo.org","authorname":"Anthony G. Basile","body":"Package-Manager: portage-2.2.28","commitid":"5fbee055ca32d5f822fc448f7fd84f54ca353b5f","committime":"2016-08-20T20:09:29","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: stabilize 1.1_p20160426 on ppc, bug #587908"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5f80029d404ce4a18fbcb411f6997e86cf58d847","committime":"2016-08-20T03:22:23","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tamiko@gentoo.org","authorname":"Matthias Maier","body":"Package-Manager: portage-2.2.28","commitid":"107e1eefa065021a407125230799d49d9d55e8cd","committime":"2016-08-20T02:29:33","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: stabilize 1.1_p20160426 on amd64\/x86, bug #587908"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f34563658480ab16fc377a5d871ad9468de868fd","committime":"2016-07-09T14:41:57","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","body":"It doesn't build with >=dev-lang\/erlang-19.0.\n\nPackage-Manager: portage-2.3.0","commitid":"eadc3af9d0b98262248b625a4d66c367e4d0a466","committime":"2016-07-09T14:17:22","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Restrict Erlang version to <19"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"be06e025eeb5f303ae46e2a3cd9cf5423de8d36b","committime":"2016-07-03T17:41:59","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","body":"These packages have been debundled from ejabberd which used to have\n~ia64 ~sparc keywords. These had to be removed temporarily until\ndev-util\/rebar has these keywords.","commitid":"92e5cec4164e9f2c8cdc924072ff854d4f879b50","committime":"2016-07-03T15:36:34","packageid":65518,"repoid":1,"summary":"dev-erlang: Add ~ia64 and ~sparc keywords back"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0d9d64d82a912d7e0f5d6310bbef9cde0d8b31fa","committime":"2016-06-07T22:41:47","packageid":65518,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","body":"Debundle net-im\/ejabberd dependencies and put them into new dev-erlang\ncategory.","commitid":"d2abcd53942d30358e95c3fa9dd22b6d1b138af1","committime":"2016-06-07T22:22:28","packageid":65518,"repoid":1,"summary":"Merge branch 'ejabberd-debundled'"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","body":"It is debundled from net-im\/ejabberd-16.04 and therefore inherits\nkeywords from ejabberd: ~amd64, ~arm, ~ppc and ~x86. ~ia64 and ~sparc\nare not inherited because other dependency is missing these keywords and\nthere's no chance it can get them any time soon.\n\nPackage-Manager: portage-2.3.0_rc1","commitid":"c59b6e101f625130fde29adbdd83775417ce788c","committime":"2016-06-06T22:18:27","packageid":65518,"repoid":1,"summary":"dev-erlang\/proper: Add new package"}],"dependencies":[{"block":false,"categoryid":450,"description":"Erlang programming language, runtime environment and libraries (OTP)","ebuildids":[827756,827756],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"djc@gentoo.org","maintainername":"Dirkjan Ochtman","name":"erlang","packageid":42022,"summary":"Erlang is a programming language designed at the Ericsson Computer Science Laboratory. Open-source Erlang is being released to help encourage the spread of Erlang outside Ericsson."}],"depending":[{"block":false,"categoryid":484,"description":"Erlang port of Hamcrest","ebuildids":[2091],"firstseen":"2016-06-08T13:38:57.770632","maintainer":"aidecoe@gentoo.org","maintainername":"Amadeusz Żołnowski","name":"hamcrest","packageid":65506},{"block":false,"categoryid":484,"description":"Erlang OAuth 2.0 implementation","ebuildids":[750412,818115],"firstseen":"2016-06-08T13:38:57.770632","maintainer":"aidecoe@gentoo.org","maintainername":"Amadeusz Żołnowski","name":"p1_oauth2","packageid":65513}],"ebuilds":[{"archs":["amd64","x86","~arm","~sparc"],"ebuildid":827756,"firstseen":"2024-05-25T13:32:42.883574","license":"GPL-3+","moddate":"2024-10-08T16:04:50","packageid":65518,"repoid":1,"slot":"0","uses":[],"version":"1.4"}],"masks":[],"package":{"categoryid":484,"description":"QuickCheck-inspired property-based testing tool for Erlang","firstseen":"2016-06-08T13:38:57.770632","maintainer":"aidecoe@gentoo.org","maintainername":"Amadeusz Żołnowski","name":"proper","packageid":65518},"rdependencies":[{"block":false,"categoryid":450,"description":"Erlang programming language, runtime environment and libraries (OTP)","ebuildids":[827756,827756],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"djc@gentoo.org","maintainername":"Dirkjan Ochtman","name":"erlang","packageid":42022,"summary":"Erlang is a programming language designed at the Ericsson Computer Science Laboratory. Open-source Erlang is being released to help encourage the spread of Erlang outside Ericsson."}],"repos":[{"branch":"master","lastcommit":"f87ce2b74421571078063820dc1065e7089c9fa7","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/proper-testing\/proper"],"uses":[]}