{"bugs":[{"bugid":886589,"firstseen":"2022-12-18T10:58:21.123191","severity":"normal","status":"CONFIRMED","summary":"dev-ml\/ppx_deriving-5.2.1 fails to compile (CLANG-STRICTER-SYSTEM): Error: Files findlib_dynload.cmxa"}],"categories":[{"categoryid":422,"name":"app-misc","summary":"The app-misc category contains various miscellaneous application packages which don't belong anywhere else."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"42a159ea04ad229cdc277a8855c610a806c67037","committime":"2025-03-13T20:20:24","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"a77822cb75dca07d119a1672e8646a5486dd534e","committime":"2025-03-13T19:48:11","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: unkeyword 6.0.3 for ~arm, ~x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"de6e9602992266fcb537a22c58779fcac70d5d6c","committime":"2025-03-10T11:58:13","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9ee8592f756136238abe9a1676dac873e4c442a5","committime":"2025-03-10T11:41:33","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Stabilize 5.2.1-r2 arm64, #951104"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60e46081f2a97445754378a8a30e125e063e6287","committime":"2024-10-18T06:35:37","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"6dafe33bcbadc73746b426e53c1abff2a6cf6ada","committime":"2024-10-18T06:17:04","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: add 6.0.3, drop 6.0.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"03506ccadd7edd1526c77c187e7c7fdea343114f","committime":"2024-06-30T20:19:03","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"ce6bb321ec68dbfb41d29ba5f409e1727cd4a93e","committime":"2024-06-30T20:05:25","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: add 6.0.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"907d40e4ad91abfda35969f54839231e5f52c235","committime":"2023-12-29T21:46:53","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"027135c0244b1f8c828f6a17fa5b15c0efac6138","committime":"2023-12-29T21:43:45","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: adding ocamlopt?"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"203ec41113f0ba69e347ba2841248448e7897079","committime":"2023-09-19T18:01:42","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b74b64403ea69d67dd33d654a57e00e50e34433e","committime":"2023-09-15T09:27:03","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: fix VariableShadowed"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"32319e028d241b4eb02cf32ad56dbbfd07bc5a2e","committime":"2022-10-19T11:01:48","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/840508\n\nSigned-off-by: Alfredo Tupone ","commitid":"e0f0fa64773c7c953f8d950e25a729f27aedf2a5","committime":"2022-10-19T10:48:13","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: adj deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7874bae34234b7d1668540c4327d1dda1ba18fec","committime":"2022-08-04T18:31:51","packageid":64953,"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":"533a011f333a60ee07565279ba46145b3690c104","committime":"2022-08-04T18:19:23","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: add findlib dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bbcdb5e0eb8b54a66e5f32e6240777aef079227a","committime":"2021-09-18T12:51:16","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"6f4001673585560ca0cf095818b66d8026b70b60","committime":"2021-09-18T12:30:22","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: x86 stable wrt bug #813153"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c5a9bf148c5f2ac4d0130c546588cb75b0e8993","committime":"2021-09-17T14:21:17","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"de9dbf78c845e746138fcf93008466f7d6cb7f9b","committime":"2021-09-17T14:14:21","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: amd64 stable wrt bug #813153"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3efcbbfc3bff6439c012801cdcede8280d292e0b","committime":"2021-07-13T17:21:31","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"a8e009fe92ae77a149eb05c8aefe0c206bd04c69","committime":"2021-07-13T17:12:28","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 5.2.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7874f3e8c02b767a5ea953cde1acda08a30df035","committime":"2021-03-15T04:21:06","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0db909331e046ad7cbe882ce5230e83a60242922","committime":"2021-03-15T03:14:12","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: drop 4.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d9428b5bcc8907755de2e890a75839e2cf570e7d","committime":"2021-01-16T14:02:43","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"6afe5b8bff982f7b420567c9fbb3deba4accd30a","committime":"2021-01-16T13:03:29","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: version bump to 5.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"66c32b2df6750030b0aac9cfa2327b026dcca220","committime":"2021-01-16T10:02:24","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/765436\nPackage-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"b0cfbfbe9b00e137d058434b1d83b50efada1ddd","committime":"2021-01-16T09:26:11","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: remove old version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c8fdaa6db1d0e0d8865eb3ec13c68b39abd0086b","committime":"2021-01-10T13:05:05","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/761076\nPackage-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"aa259840deb5357d69e3046c65b7047249f29987","committime":"2021-01-10T12:30:01","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: add missing patch"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"3918ef5b748070c1e2202e1def556aacc66232eb","committime":"2020-10-28T03:12:54","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4f91163ee007b0193ba6f49c515fc79a344f1fe","committime":"2020-10-24T01:05:15","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"548b633eaef6835183d2ff3cf25f5fe0b5873e83","committime":"2020-10-24T00:15:49","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Keyword 4.5 ppc, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dfba993d122c0c08000ef3103ed1f5e872e094d4","committime":"2020-10-15T12:35:04","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"96a6f12d1992c74dffe81bd2c47760cf08f8a158","committime":"2020-10-15T12:05:05","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Fix QA MissingTestRestrict"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Co-Author: Alexis Ballier \nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"b9dd8497e714946abb9c326aab3f522791023974","committime":"2020-10-13T06:23:52","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Bump to 4.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fef742528aacdd4ffa4e59ea0354106ca161650e","committime":"2019-12-10T23:48:11","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"The result was achieved via the following pipeline:\n\n pkgcheck scan -c RestrictTestCheck -R FormatReporter \\\n --format '{category}\/{package}\/{package}-{version}.ebuild' |\n xargs -n32 grep -L RESTRICT |\n xargs -n32 sed -i -e '\/^IUSE=.*test\/aRESTRICT=\"!test? ( test )\"'\n\nThe resulting metadata was compared before and after the change.\nFew Go ebuilds had to be fixed manually due to implicit RESTRICT=strip\nadded by the eclass. Two ebuilds have to be fixed because of multiline\nIUSE.\n\nSuggested-by: Robin H. Johnson \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/13942\nSigned-off-by: Michał Górny ","commitid":"064af661d0c9a31cecdf348632bc5603333a9149","committime":"2019-12-10T22:02:54","packageid":64953,"repoid":1,"summary":"*\/*: [QA] Fix trivial cases of MissingTestRestrict"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"010b12cb72641825e2eadfee7174936b2f95ac12","committime":"2018-02-14T14:46:21","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"whissi@gentoo.org","authorname":"Thomas Deutschmann","body":"Package-Manager: Portage-2.3.24, Repoman-2.3.6","commitid":"c3db5a036e7939dfa501b765641abc878ea905d6","committime":"2018-02-14T14:22:20","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: x86 keyworded (bug #627836)"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"4bd644f01e840e1a7af861acbcdb22de078b75ea","committime":"2017-09-22T09:01:48","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.10, Repoman-2.3.3","commitid":"d3b81d19f7e1c9e1fac287a4199bc23b9e874404","committime":"2017-09-22T08:09:48","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2fad74f3e21931c61a263cd484a4c6e22953b1c3","committime":"2017-09-10T15:06:53","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3\nRepoMan-Options: --include-arches=\"ppc\"","commitid":"9eb924bc99886db8cbeb56ddb30862bacc9d857b","committime":"2017-09-10T14:41:07","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: keyworded 4.2-r1 for ppc, bug #627836"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"74fb08290133c5afcd9544956b59591aa1bfbf98","committime":"2017-08-25T12:03:30","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"7869ec3957fb04229ba42176cae439e2ab2e4ac3","committime":"2017-08-25T11:55:45","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: fix installation path of ppx_deriving exe like in older versions"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9420d9563021db1f5b1a9d4fc705638483e04b2a","committime":"2017-08-24T09:03:30","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"3cf463024c869970503070ac05835b9cf0a65db2","committime":"2017-08-24T08:53:17","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 4.2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b4f309a8aa3065c1297da4d34d38dd5927b74e03","committime":"2017-07-13T22:28:13","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"82b852916efb5ba3f1d49e0680b8071250c4d71f","committime":"2017-07-13T22:07:49","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Apply conditional patch, backported from upstream, to build with ocaml 4.05"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8513f4b8ece1e0b614809cf577bec667dd4429b7","committime":"2017-07-07T18:05:07","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"c4d3a2b0cbab97d23d839111e8d3420db4cc4392","committime":"2017-07-07T17:55:32","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Fix building ppx_deriving_make caught by running tests, bug #624146"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":64953,"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":64953,"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":64953,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"18d13ba126d2dea5143db545785f0f94b84e5f8d","committime":"2017-01-24T12:02:22","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"c7492429d64f954d165c5345376f0253026713c2","committime":"2017-01-24T11:35:43","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c225c10eebf1eaa1d77f580b2c2d97db53ba3612","committime":"2016-09-26T15:25:12","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.1","commitid":"b318da7883e9d6351f1bcb0acc03b50a07d0165c","committime":"2016-09-26T12:47:10","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 4.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"83efe85359a10ef3ccae124ee445800496b3980a","committime":"2016-09-13T13:44:18","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"162aa8c4faede65ca9b69e244896f3c8c9123a28","committime":"2016-09-13T13:21:07","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: add missing build dep on cppo, bug #593620"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a85926be5276bea706860860b6695f7586c2a19a","committime":"2016-06-27T10:41:48","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"167ed412edc215b1db22e446ea525285acf57fa0","committime":"2016-06-27T09:02:24","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 4.0"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"aeadcf7346687e42eb659c4b4750d1dffce68f65","committime":"2016-06-27T09:00:43","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"429c14b3f08e0f902a27f2e62ecedc6947b32e2b","committime":"2016-03-16T18:52:10","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.28\nSigned-off-by: Alexis Ballier ","commitid":"655f57e731060246d915717d8df31ad8a0e2d958","committime":"2016-03-16T18:29:44","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 3.3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"793245c429ec825e919af922d7f22a4ff400e8af","committime":"2016-03-02T19:42:26","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"423a59ac2cb70202bc26eee094cf096ee91b1d27","committime":"2016-03-02T19:24:23","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 3.2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9a655b30bbe726d7896f9e36afb036a49f45a4ba","committime":"2016-02-17T21:54:17","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"ac562b67497585f9aedfcf9652a54a2cd2d7be89","committime":"2016-02-17T20:09:30","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: bump to 3.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a6ad7973d294135756ce1f5aeb7d84c3b44b9190","committime":"2016-02-06T15:41:46","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"b0ee0213b072261f673fc410cdd8d7e2891e2554","committime":"2016-02-06T15:20:30","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: Use opam-installer to install it properly"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cb2fb7707ab82480e2a07d6b06d2b0ce00d31cd4","committime":"2016-02-05T21:02:08","packageid":64953,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"cea1f17e2227b282c329afe0ff07083f7aa9ebd8","committime":"2016-02-05T15:02:10","packageid":64953,"repoid":1,"summary":"dev-ml\/ppx_deriving: initial import; ebuild by me"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[810427,841665],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[810427,841665],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":314,"description":"An equivalent of the C preprocessor for OCaml programs","ebuildids":[810427,841665],"firstseen":"2013-07-24T13:36:40.606049","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cppo","packageid":61040},{"block":false,"categoryid":314,"description":"Tools for authors of ppx rewriters","ebuildids":[810427],"firstseen":"2016-01-31T14:41:46.367807","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_tools","packageid":64933},{"block":false,"categoryid":314,"description":"Compat result type","ebuildids":[810427],"firstseen":"2016-03-22T14:39:52.391887","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"result","packageid":65197},{"block":false,"categoryid":314,"description":"Convert OCaml parsetrees between different major versions","ebuildids":[810427],"firstseen":"2017-04-01T13:36:38.375057","name":"ocaml-migrate-parsetree","packageid":66704},{"block":false,"categoryid":314,"description":"Shared [@@deriving] plugin registry","ebuildids":[810427,841665],"firstseen":"2017-08-24T09:08:16.300816","name":"ppx_derivers","packageid":67974},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[810427,841665],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Unit testing framework for OCaml","ebuildids":[810427,841665],"firstseen":"2020-10-13T14:25:05.132759","name":"ounit2","packageid":72110},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[810427,841665],"firstseen":"2020-10-13T14:25:05.132759","name":"ppxlib","packageid":72118},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[810427],"firstseen":"2020-10-13T14:25:05.132759","name":"sexplib0","packageid":72120}],"depending":[{"block":false,"categoryid":422,"description":"Genealogy software program with a Web interface","ebuildids":[857277,857277,861237,861237],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tupone@gentoo.org","maintainername":"Tupone Alfredo","name":"geneweb","packageid":52092,"summary":"GeneWeb is a genealogy software program with a Web interface. It can be used off-line or in a Web environment. It uses very efficient techniques of relationship and consanguinity computing, developed in collaboration with Didier Rémy, research Director at INRIA."},{"block":false,"categoryid":317,"description":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[742645,742645,853673,853673],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":314,"description":"OCaml template engine almost compatible with Jinja2","ebuildids":[832533,832533],"firstseen":"2021-01-10T17:35:59.190559","name":"jingoo","packageid":72363},{"block":false,"categoryid":314,"description":"JSON codec generator for OCaml","ebuildids":[763617,763617,776136,776136,831496,831496,841782,841782],"firstseen":"2021-12-03T03:24:56.758232","name":"ppx_deriving_yojson","packageid":73696},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,845202,845202,854230,854230],"firstseen":"2021-12-12T02:08:52.137547","name":"why3","packageid":73747,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":317,"description":"Serialization library and protocol for interaction with the Coq proof assistant","ebuildids":[837451,837451],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-serapi","packageid":74529,"summary":"SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from\/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality."},{"block":false,"categoryid":450,"description":"Embeddable Lambda Prolog Interpreter in OCaml","ebuildids":[861005,861005,861006,861006],"firstseen":"2023-03-15T01:50:00.147852","name":"elpi","packageid":75905,"summary":"ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that are handy to adapt the language to the host application."}],"ebuilds":[{"archs":["~amd64","~arm64","~ppc","~ppc64"],"ebuildid":841665,"firstseen":"2024-10-18T07:45:47.563299","license":"MIT","moddate":"2025-03-13T20:29:29","packageid":64953,"repoid":1,"slot":"0\/6.0.3","uses":["ocamlopt","test"],"version":"6.0.3"},{"archs":["amd64","arm64","x86","~arm","~ppc","~ppc64"],"ebuildid":810427,"firstseen":"2023-12-29T22:01:16.700964","license":"MIT","moddate":"2025-03-10T12:06:31","packageid":64953,"repoid":1,"slot":"0\/5.2.1","uses":["ocamlopt","test"],"version":"5.2.1-r2"}],"masks":[],"package":{"categoryid":314,"description":"Type-driven code generation for OCaml","firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_deriving","packageid":64953},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[810427,841665],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[810427,841665],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":314,"description":"Tools for authors of ppx rewriters","ebuildids":[810427],"firstseen":"2016-01-31T14:41:46.367807","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_tools","packageid":64933},{"block":false,"categoryid":314,"description":"Compat result type","ebuildids":[810427],"firstseen":"2016-03-22T14:39:52.391887","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"result","packageid":65197},{"block":false,"categoryid":314,"description":"Convert OCaml parsetrees between different major versions","ebuildids":[810427],"firstseen":"2017-04-01T13:36:38.375057","name":"ocaml-migrate-parsetree","packageid":66704},{"block":false,"categoryid":314,"description":"Shared [@@deriving] plugin registry","ebuildids":[810427,841665],"firstseen":"2017-08-24T09:08:16.300816","name":"ppx_derivers","packageid":67974},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[810427,841665],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[810427,841665],"firstseen":"2020-10-13T14:25:05.132759","name":"ppxlib","packageid":72118},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[810427],"firstseen":"2020-10-13T14:25:05.132759","name":"sexplib0","packageid":72120}],"repos":[{"branch":"master","lastcommit":"83b1268c5aac6ae9b0760d1fb99a3cf736f62f25","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ocaml-ppx\/ppx_deriving"],"uses":[{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}