{"bugs":[{"bugid":941458,"firstseen":"2024-10-13T10:51:09.661626","severity":"normal","status":"CONFIRMED","summary":"dev-ml\/yojson-2.2.2-r1 - [libtool] [gcc-15] make inconsistent assumptions over interface Stdppx"}],"categories":[{"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":"ab8a2ccd0e05edfb825da8005617f7744bb5a0bc","committime":"2024-11-24T22:35:18","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"00bafde7db9ba144ce1785f890ba5fd0f94f20a9","committime":"2024-11-24T22:16:29","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Keyword 2.2.2-r1 riscv, #944753"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"67a2108115073eec0f9fbc64108ba6ba71fb3340","committime":"2024-11-24T16:03:16","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"5e9159b668a558187c819a03a80c91031663f000","committime":"2024-11-24T15:47:29","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Keyword 2.2.2-r1 x86, #944753"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"98c577f31adaf6c33d4aeb89fcde377c4ae89a9f","committime":"2024-11-23T21:35:18","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"458d70ef7fa428cc5494c56ac9a99b9194b5aee3","committime":"2024-11-23T21:25:12","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Keyword 2.2.2-r1 arm, #944753"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bf335a7cca5706b86831fd50168f5dee8fc15cf4","committime":"2024-11-23T21:20:08","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"2ef69c6c8c9ebac1aefe61e0174d7fa9cba9c418","committime":"2024-11-23T21:07:07","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Keyword 2.2.2-r1 arm64, #944753"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1301559f8ef6911af140fdce9508d6d2c12cc538","committime":"2024-10-20T05:03:28","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"44ea99fa7fde09adcc3665aa894f8c3bca7ee95b","committime":"2024-10-20T04:45:32","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Stabilize 2.2.1 amd64, #941858"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"71038f48b3058f28c5f68951209453974a352f70","committime":"2024-10-12T21:18:14","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/941409\nSigned-off-by: Alfredo Tupone ","commitid":"8ea853cba16ff62f2e84ab325bb15626bd226ec5","committime":"2024-10-12T20:59:56","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: fix deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0ce26f4f3f850c7da32e1d6411c0c5246ff26ae2","committime":"2024-07-13T12:04:03","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"8890c71ea3daeccd183ea4ae61b07323a5623c08","committime":"2024-07-13T11:50:58","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: add 2.2.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"475dd4524bd945b62e3e130a62b111a998c509e4","committime":"2024-06-24T16:19:00","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"1c3bb695031994a951d3b6b4c0e1b3b996707d0f","committime":"2024-06-24T06:34:12","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: add 2.2.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6dae61ce73970d6800994be9df22e176beaef67f","committime":"2024-02-15T14:05:52","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"624b83b0237679fb1330223cea909a1a9b186949","committime":"2024-02-15T13:55:05","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Stabilize 2.1.1 amd64, #924579"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e99d82ea2bb20f6d08f0abf3264308987d80cea8","committime":"2023-11-02T22:16:52","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4954e630819c37d87175508c9cdaf7c199fb88de","committime":"2023-11-02T21:40:23","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 2.1.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2678b5cccdf5bf73fd28ff70d1baae6fcc42c8cd","committime":"2023-11-02T21:36:19","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: drop old 2.0.2-r3"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ea465f8c229029af36aa99a86c3d7b1e25b91893","committime":"2023-11-02T21:36:11","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: drop old 1.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5aa38a00bbae915c466d64a84d4f9d3c2b59ade9","committime":"2023-10-08T15:31:55","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"1327241416be7e262170dd9a9ddab84f993c3401","committime":"2023-10-08T15:29:25","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Stabilize 2.1.0 amd64, #915373"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a689b4e56e55d19fe3687045629de7fe1d1b54a6","committime":"2023-05-16T15:46:55","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ba25d6b8e981e2bfa785ce2cddaa0c2dd8a699c1","committime":"2023-05-16T15:10:20","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 2.1.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cc51d05f6bfd237f252a18144d8f627296e99c0e","committime":"2023-04-01T21:01:51","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"cb7f835c4aafb161515b4011498f9155ed521dfe","committime":"2023-04-01T20:53:52","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: amd64 stable"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3cad5fcd11327017c70b007860dd293599698938","committime":"2022-11-26T15:16:49","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/861356\nSigned-off-by: Alfredo Tupone ","commitid":"3df695936d33926ea49d863ffaac2c6cacf3be2f","committime":"2022-11-26T15:08:37","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: drop 2.0.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6806974d2366d07c7bb0dd018e10fc8662f1d7da","committime":"2022-10-26T22:16:46","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2ab6fbb44dd6b2f49180e4494140400da3f4aa94","committime":"2022-10-26T21:59:16","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: patch dune\/META seq dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"02f38de7763874fded05875978e475251a3e3790","committime":"2022-10-23T09:31:43","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"57238c8420914cbaaa599f23ae866b9615c5032c","committime":"2022-10-23T08:26:16","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: hard block seq lower than 0.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"71b1aa2ff1ee60e01874b200511ae1547146e28e","committime":"2022-10-20T15:01:48","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"47194ba5a4d1854f77724670e1cca16dbef4ee2e","committime":"2022-10-20T14:39:53","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: do not use dev-ml\/seq"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"338f719933c31f5254d3032f7692a44877bbd09d","committime":"2022-09-24T00:01:56","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"19ced23517161b973c295c84b776cba370ed166a","committime":"2022-09-23T23:26:23","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: 2.0.2 - depend on ocaml >=4.07 instead of seq"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"611ee9c4e3d8f68a2cf8e70f8c746d8af1505272","committime":"2022-09-23T00:16:48","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b6e876fec2a0275b1f94ddc6fae0b37702116f49","committime":"2022-09-23T00:00:43","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 2.0.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7a950fb0f52dceb7eca6df1c0e1304cc427fb1ba","committime":"2022-07-06T06:31:32","packageid":63076,"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":"b2e04ba41554dd0652bc0d92db94fb1cbdbbba9f","committime":"2022-07-06T06:19:22","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: relax deps on ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"79bfbcc1c9431f732513c84366b0f91b80ff6937","committime":"2022-06-08T20:33:19","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bf9a5beeb128e8622676c3487d4dc980da897060","committime":"2022-06-08T20:26:30","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: update copyright date"},{"authoremail":"fx.carton91@gmail.com","authorname":"François-Xavier Carton","body":"Signed-off-by: François-Xavier Carton \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/25778\nSigned-off-by: Maciej Barć ","commitid":"b5eefc70a6eeaec3e8666234897b4ed34b034681","committime":"2022-06-06T19:18:35","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 2.0.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b65461ba5c5b4796b06decf607ad35acc59a8842","committime":"2021-03-07T14:50:47","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"2e03bf414ed6a5c354200e2992eeb2552ddd9f7e","committime":"2021-03-07T14:08:30","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: remove old version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d9bebdb3713bb8891c00e8eb0f4db7d630091485","committime":"2021-01-04T17:35:08","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"79e5248b86a0231ebb4d67fb9e939199d1b17c0b","committime":"2021-01-04T17:26:58","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: add missing test dependency"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"46f4b0a966273bce34ef27794a611ccf6b1cd9f6","committime":"2021-01-04T17:20:49","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: fix SRC_URI in 1.7.0"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"* We need +\/-ocamlopt aligned on dependencies\n\n* cppo is BDEPEND because it's a preprocessor\n\nPackage-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"e348d79b597d3e148a816af879057c1a5a594623","committime":"2021-01-04T17:19:12","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: dependency fixes"},{"authoremail":"fx.carton91@gmail.com","authorname":"François-Xavier Carton","body":"Signed-off-by: François-Xavier Carton \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/18436\nSigned-off-by: Sam James ","commitid":"581237f305695944e3869f7baba9d64f7f08e561","committime":"2020-11-27T17:41:45","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"334d488babb965986374546974f52ad055ac0efc","committime":"2018-10-13T22:24:01","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"wimmuskee@gmail.com","authorname":"Wim Muskee","body":"Closes: https:\/\/bugs.gentoo.org\/668276\nSigned-off-by: Wim Muskee \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/10133\nSigned-off-by: Patrice Clement ","commitid":"aea50ec286440d3d3f7df310d905605a7b72a8d8","committime":"2018-10-13T04:51:01","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: update HOMEPAGE."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"23c6b6883f22b075ece6547b54456fe67015b77a","committime":"2017-08-02T11:52:51","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.3","commitid":"9c5a88055ed308fa12e5f5542eeabf515765bd86","committime":"2017-08-02T10:10:17","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: Remove old"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.3","commitid":"a2860b77dc20bc18d7473d63e247383621fd765b","committime":"2017-08-02T10:09:59","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: convert to opam.eclass"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9f5e2c2da566d47a8fc9af47392a65fbb881ac00","committime":"2017-07-19T21:43:22","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.3","commitid":"639441c61b80d3c2aa31d1ae05ac257a26130063","committime":"2017-07-19T20:16:37","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.4.0"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":63076,"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":63076,"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":63076,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"6fd92a5c266a4b2060b66f9029b196cfd3bfa2d3","committime":"2017-01-24T11:02:12","packageid":63076,"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":"108dd0f3c4f829f04876d7801e070428508ac529","committime":"2017-01-24T10:39:56","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"3efd7c444d9254ad60881683eb707ae35833bbd0","committime":"2016-11-01T13:02:11","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"f5aad89a81437081fb1c41cd01ef190e138761de","committime":"2016-10-30T09:21:57","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.3.3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"793245c429ec825e919af922d7f22a4ff400e8af","committime":"2016-03-02T19:42:26","packageid":63076,"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":"3f869dbb64fad37ee11e7f8af58bcce3645cd586","committime":"2016-03-02T14:40:25","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.3.2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f16c5bfe3b92f5c05a00d6a721dcb9ccf0c5f65f","committime":"2016-02-22T10:45:46","packageid":63076,"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":"42b6e24de0c7aad7c556db74964ed143fea65ad4","committime":"2016-02-22T10:24:26","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.3.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c5b810cd84e7c6d0186be901d4102a03510c3efe","committime":"2016-02-07T16:21:47","packageid":63076,"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":"58b225068bb2fd66a5ff254d07014a09a81d5716","committime":"2016-02-07T16:06:59","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: remove old"},{"authoremail":"monsieurp@gentoo.org","authorname":"Patrice Clement","commitid":"d0c2dc76babb0f9c37aef84b0aebf933e958ae92","committime":"2015-12-19T18:58:52","packageid":63076,"repoid":1,"summary":"Merge remote-tracking branch 'github\/pr\/494'."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ebb4f59e7206bdb11acef42962f35dc7e28a6c6e","committime":"2015-12-19T15:23:35","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.26\nSigned-off-by: Alexis Ballier ","commitid":"d1a2e1090a19bba04aeef0136648b7336b5081f8","committime":"2015-12-19T14:53:24","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.3.0"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"700f24924f5730096cda63099f418f0cd117800f","committime":"2015-09-14T12:21:42","packageid":63076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.20.1","commitid":"c4914e71e291ec2b97cc2b839f7e0cfd750c6bbc","committime":"2015-09-14T12:12:36","packageid":63076,"repoid":1,"summary":"dev-ml\/yojson: bump to 1.2.3."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":63076,"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":63076,"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":63076,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[787394,787394,805246,805246,830891,830891,841088],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[787394,805246,830891,841088],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[841088],"firstseen":"2020-10-13T14:25:05.132759","name":"ppxlib","packageid":72118},{"block":false,"categoryid":314,"description":"An OCaml lexer generator for Unicode","ebuildids":[830891,841088],"firstseen":"2021-12-05T01:34:57.829480","name":"sedlex","packageid":73705,"summary":"sedlex is a lexer generator for OCaml. It is similar to ocamllex, but supports Unicode. Unlike ocamllex, sedlex allows lexer specifications within regular OCaml source files. Lexing specific constructs are provided via a ppx syntax extension."}],"depending":[{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[742645,742645],"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":"Context sensitive completion for OCaml in Vim and Emacs","ebuildids":[838110,838110,843100,843100,845029,845029],"firstseen":"2021-03-19T10:44:28.249262","name":"merlin","packageid":72610},{"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":"Computer-Aided Cryptographic Proofs","ebuildids":[831604,831604,840165,840165],"firstseen":"2021-12-12T02:08:52.137547","name":"easycrypt","packageid":73746,"summary":"EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs."},{"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":314,"description":"A simple OCaml client for Google Services","ebuildids":[795921,795921,830957,830957],"firstseen":"2022-07-13T02:50:01.972397","name":"gapi-ocaml","packageid":75160,"summary":"gapi-ocaml is a simple, unofficial, OCaml client for Google Services. The library supports ClientLogin, OAuth 1.0a, and OAuth 2.0 authentication. Supported RESTful APIs: Calendar APIs v3, Google+ API v1, Tasks API v1, APIs Discovery Service v1, URL Shortener API v1, OAuth2 API v2, Custom Search API v1, Google Analytics API v3, Page Speed Online API v1, Blogger API v2, Site Verification API v1, AdSense Management API v1.4, BigQuery API v2, Drive API v2, Drive API v3, Gmail API v1."},{"block":false,"categoryid":314,"description":"Static types for JSON APIs","ebuildids":[805243,805243],"firstseen":"2022-10-23T10:38:47.299323","name":"atd","packageid":75562,"summary":"ATD stands for Adaptable Type Definitions. It is a syntax for defining cross-language data types. It is used as input to generate efficient and type-safe serializers, deserializers and validators."},{"block":false,"categoryid":317,"description":"Multi-engine SMT-based automatic model checker","ebuildids":[789128,789128],"firstseen":"2023-06-03T18:09:22.830387","name":"kind2","packageid":76227,"summary":"Kind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language. In its basic configuration it takes as input one or more Lustre files annotated with properties to be proven invariant, and outputs for each property either a confirmation or a counterexample, i.e., a sequence inputs that falsifies the property. More advanced features include contract-based compositional verification, proof generation for proven properties, and contract-based test generation."},{"block":false,"categoryid":314,"description":"Package dependency solver","ebuildids":[845409],"firstseen":"2024-11-21T21:11:17.153269","name":"0install","packageid":77869,"summary":"Zero Install is a decentralised cross-distribution software installation system. Other features include full support for shared libraries (with a SAT solver for dependency resolution), sharing between users, and integration with native platform package managers. It supports both binary and source packages, and works on Linux, macOS, Unix and Windows systems."}],"ebuilds":[{"archs":["~amd64","~arm","~arm64","~riscv","~x86"],"ebuildid":841088,"firstseen":"2024-10-12T22:28:50.376437","license":"BSD","moddate":"2024-11-24T22:40:09","packageid":63076,"repoid":1,"slot":"0\/2.2.2","uses":["examples","ocamlopt","test"],"version":"2.2.2-r1"},{"archs":["amd64"],"ebuildid":830891,"firstseen":"2024-06-24T17:36:12.418673","license":"BSD","moddate":"2024-10-20T05:18:37","packageid":63076,"repoid":1,"slot":"0\/2.2.1","uses":["examples","ocamlopt","test"],"version":"2.2.1"},{"archs":["amd64"],"ebuildid":805246,"firstseen":"2023-11-02T22:32:15.640149","license":"BSD","moddate":"2024-10-08T16:04:50","packageid":63076,"repoid":1,"slot":"0\/2.1.1","uses":["examples","ocamlopt","test"],"version":"2.1.1"},{"archs":["amd64"],"ebuildid":787394,"firstseen":"2023-05-16T16:48:26.125865","license":"BSD","moddate":"2024-10-08T16:04:50","packageid":63076,"repoid":1,"slot":"0\/2.1.0","uses":["examples","ocamlopt","test"],"version":"2.1.0"}],"masks":[],"package":{"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[787394,787394,805246,805246,830891,830891,841088],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[787394,805246,830891,841088],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[841088],"firstseen":"2020-10-13T14:25:05.132759","name":"ppxlib","packageid":72118},{"block":false,"categoryid":314,"description":"An OCaml lexer generator for Unicode","ebuildids":[830891,841088],"firstseen":"2021-12-05T01:34:57.829480","name":"sedlex","packageid":73705,"summary":"sedlex is a lexer generator for OCaml. It is similar to ocamllex, but supports Unicode. Unlike ocamllex, sedlex allows lexer specifications within regular OCaml source files. Lexing specific constructs are provided via a ppx syntax extension."}],"repos":[{"branch":"master","lastcommit":"0fa6259446b1ba8ef3d09c5d086407ef09f0d8a1","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ocaml-community\/yojson"],"uses":[{"description":"Install examples, usually source code","isdefault":false,"use":"examples"},{"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"}]}