{"bugs":[],"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":428,"name":"dev-util","summary":"The dev-util category contains various miscellaneous development utilities."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dbe89e3ec57b960db10f03a08920a6e36848d596","committime":"2025-04-15T18:50:24","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3abe3e91f5a23a04658a6e269c4d8caccafd3f51","committime":"2025-04-14T17:13:25","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: drop 0.14.0-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93889ed99a8cbfb26d7670c296459d8edf28a9bf","committime":"2024-06-13T20:48:57","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3973605e29726dec9825d74e9982120cac2d9a65","committime":"2024-06-13T20:23:59","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: add 0.17.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2a39f13480349ca0b6cd445168d486c49648235c","committime":"2024-06-12T05:51:06","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b7807e9bcd6b3e1fd5f70f423313352e2ae9f67c","committime":"2024-06-12T05:37:39","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.16.0-r1 ppc64, #933369"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a5460263adcdce66c5516771f8adae5bae5a4884","committime":"2024-06-02T20:03:50","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9057a6ec9b2db33feca1e2104d6881b756d2c96e","committime":"2024-06-02T19:48:44","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9fba61ec75616a43bea29c31acdc566e17d078ca","committime":"2024-06-02T19:44:16","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.16.0-r1 arm64, #933369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"1fdb7af6a41f3e3195895a3ad0462c5514d0ce91","committime":"2024-06-02T19:43:49","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.16.0-r1 arm, #933369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2fdf0ed920f44173d6d49ae18b975776f80cfb27","committime":"2024-06-02T19:39:33","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.16.0-r1 x86, #933369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"cd2daa27924ad8489e0d483ba360f2ea42323f5f","committime":"2024-06-02T19:33:43","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.16.0-r1 amd64, #933369"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"78976fc16d2a4e9d6d9868ad02f189bf4a0bcc68","committime":"2023-12-29T22:46:55","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"dc835c2e41e9bae1c2567e811b6fab772bba8ae5","committime":"2023-12-29T22:34:28","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: add ocamlopt? dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"859ff8b6b426b5880d7f9fc0f2fcee0cacbe258e","committime":"2023-06-30T19:16:51","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b0296d86922edf121fad83317dd9c76b1873ac65","committime":"2023-06-30T18:32:16","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 0.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3ff6eb84416c3ee79083b10456c3372c33d88ad9","committime":"2023-03-25T02:16:48","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a9f5294e9332b21dc582b50f42ee85eb43995b49","committime":"2023-03-25T02:03:59","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"99164484d3eaf6be97f6d4a3f6f0cc87339cdd7d","committime":"2023-03-25T02:03:39","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.15.1-r1 ppc64, #901575"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d190486232417c1ca0423c8c1fab1d1bdf83e0c5","committime":"2023-03-25T01:47:29","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.15.1-r1 arm64, #901575"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"06836b6c441c41203348a26ac4f007ca921ef88c","committime":"2023-03-25T01:47:28","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.15.1-r1 x86, #901575"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"28c61b671e6ffcf1724dd5d073f6d19b7743f7ac","committime":"2023-03-25T01:47:26","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.15.1-r1 arm, #901575"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"32fbb2b13dd02c875c921a7c80d62933a44ae635","committime":"2023-03-16T13:46:54","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3761c1170a5ea6c01c345cc9dabf6333eda4475c","committime":"2023-03-16T13:18:48","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: stabilize 0.15.1-r1 for amd64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8ebfd8bb6219c0051e89c7a80922d23d8b0c88c9","committime":"2023-02-01T19:16:58","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Bug: https:\/\/bugs.gentoo.org\/892553\nSigned-off-by: Alfredo Tupone ","commitid":"8be0e0ac8bebb6b2ab016b37ed0a86968981e4c5","committime":"2023-02-01T18:56:48","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: relax sexplib0 slot deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1051a1e3d62a34f8cdcc8d4780f078255266671c","committime":"2023-01-28T13:32:13","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"4b42ea7b629f72cf7fb1925c0ebfa304bb232a1e","committime":"2023-01-28T13:22:09","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: add 0.15.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c5bba1091ff773b43262efcc125dab5610679eee","committime":"2022-10-14T19:18:54","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"e3e05f9edd75e26b615979dcac7c9ab26ee6d361","committime":"2022-10-14T19:05:41","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: adj deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2f0b9d8e24400a1cbcbce66a3a7b084c02aae92e","committime":"2022-07-05T17:16:30","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/840740\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"e84c7201fec5910e1c1f456e1b4f8d518f810aaf","committime":"2022-07-05T17:03:16","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: depends on 0\/0.15 slot"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5b8e3ecc36dc7994ff34d9e298ddb13a3333dde8","committime":"2022-04-25T17:03:09","packageid":49507,"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":"2b1285a716b2e03f14e8bf98ba46ef33175a1f5e","committime":"2022-04-25T16:49:32","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: change subslot"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a38a6b8c64f2329574d7f60c7232ce2696bb593b","committime":"2022-04-23T06:19:02","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8a7bc9e50a145340fb9dcc36f57a7a55d4a593dd","committime":"2022-04-23T06:08:19","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: fix keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9656eef22415a4f984a667ed01cd7c345bcaf601","committime":"2022-04-23T04:48:58","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"33bc39a6414b4471ae658acaf629e8248a946919","committime":"2022-04-23T04:26:09","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 0.15.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tanekliang@gmail.com","authorname":"Yongxiang Liang","body":"Signed-off-by: Yongxiang Liang \nSigned-off-by: Jakov Smolić ","commitid":"b2bbe6e2a83bfd22dbe42dc20d438e21571fae01","committime":"2022-04-17T15:40:27","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Keyword 0.14.0 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James \nSigned-off-by: David Seifert ","commitid":"7c3116bb4194239cbff46daab1ad9e20792b589b","committime":"2022-03-03T21:19:07","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"dc50470affe3e9e3f7d5cd595a1f0b811a853e38","committime":"2021-03-14T00:44:23","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.14.0 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0f21957216207c0150d89e464c5b371c0922bdde","committime":"2021-03-14T00:31:10","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.14.0 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8decadcf6ae0d66e6fe296a5d72ceb0c7efbe556","committime":"2021-03-13T14:25:04","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ecfcdf8ff86935e38baffb3ad48bdb7019b31a08","committime":"2021-03-13T14:05:04","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.14.0 ppc64, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"81b880b4b0df063d64397c3b7797a05d8c2fb7ad","committime":"2021-03-09T07:50:50","packageid":49507,"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":"f1e10656b83c680e46bd9f041e5b03919cc08ffa","committime":"2021-03-09T07:29:33","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: drop 0.9.* versions"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b0a566014ff090aa649d6cc6d24f6cc4e1b612fa","committime":"2021-03-04T14:37:02","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"af1c797562244f6d53efc6bee4c49a9fac996283","committime":"2021-03-04T14:28:15","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: amd64 stable wrt bug #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b466a1bfc5dca5339513886519178be73458f976","committime":"2021-02-25T18:07:13","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7a710cb8a82715ba11294d66e28f6a658e66720e","committime":"2021-02-25T17:53:59","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.14.0 x86, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92984989295b442e1a9667d50c579cabaad88724","committime":"2021-02-25T13:22:08","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"e7ae1c437e442be133ec373e2331ed9dad4c52e7","committime":"2021-02-25T13:08:54","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Stabilize 0.14.0 ppc, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":49507,"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":"053323dcae1e0361d40c6cb2ce0e3f5b8d8238e5","committime":"2020-10-28T03:15:42","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4f91163ee007b0193ba6f49c515fc79a344f1fe","committime":"2020-10-24T01:05:15","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cf52a1d526aad718813d3d3f15f3db0ed0c8e20e","committime":"2020-10-24T00:15:53","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Keyword 0.14.0 ppc, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":49507,"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":"613be6e1c6327b67cb25ae3d60ec8e0042062c1f","committime":"2020-10-13T06:58:04","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Bump to 0.14.0"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"99ebf5576a74ac87bb8c0559a3923924863c7761","committime":"2018-02-11T22:27:43","packageid":49507,"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":"b1e39bd6511acca22c04e98bcee937cb81575596","committime":"2018-02-11T21:51:36","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: x86 keyworded (bug #527318)"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"05aac61517d27b8621d9dbc853ba6b6e095db0cc","committime":"2017-11-04T10:06:29","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.12, Repoman-2.3.4","commitid":"572ad19d4d20d5cebd9a1d615361b22f3906f344","committime":"2017-10-27T11:43:02","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 0.9.3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"23c6b6883f22b075ece6547b54456fe67015b77a","committime":"2017-08-02T11:52:51","packageid":49507,"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":"2f66eee092a974baecd60c4120ba913e9c19bffe","committime":"2017-08-02T11:15:49","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Remove old"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.3","commitid":"74f12defd4da532db8e883ca280bed75a381349f","committime":"2017-08-02T11:15:33","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: convert to opam.eclass"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8cdd0457491f12143d01ce7ffee59afa44d5ee9c","committime":"2017-07-29T10:24:29","packageid":49507,"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":"0d712ebc61523d716f5e175b84c7c36991a4f86f","committime":"2017-07-28T08:34:05","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 0.9.2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"227810a700f58557f0ce75dbdb29bc6c5edff3d4","committime":"2017-04-05T10:01:55","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xmw@gentoo.org","authorname":"Michael Weber","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2\nRepoMan-Options: --include-arches=\"ppc\"","commitid":"d940f5575d9973a30a90e04c054068eee8ed5c53","committime":"2017-04-05T09:42:50","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: add ~ppc (bug 527318)."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c8b5ee041aedd5b92f4b61ee47ca4ad4dcaff8ab","committime":"2017-04-02T08:42:00","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"39e2c792ec3604975ee7abd39b7b4936b0197591","committime":"2017-04-01T14:13:07","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Bump to 0.9.1. It will appear as downgrade but this is the new upstream versioning scheme."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"1a6b106bf7f3e62d62bdbee7c0537a7e5ebfecce","committime":"2017-04-01T13:41:53","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"8ead8271f508e309f45797fcd58858f8aee5c2ee","committime":"2017-03-29T14:05:00","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: Remove old. This was the last ~x86 version but it does not even build with stable dev-lang\/ocaml."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":49507,"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":49507,"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":49507,"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":49507,"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":"2efd163863c2b99df8eff30bfca517f1f2b4ad1d","committime":"2017-01-24T11:47:50","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"01ff43773bb9df799181f4c27f4aeab5e0a72243","committime":"2016-05-03T09:23:04","packageid":49507,"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":"3d69094c95fb161c08bb0edd5cb0317a27c90343","committime":"2016-05-01T17:12:48","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: fix build with ocaml 4.03"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"88da50d3983e0095df029b770e572fff6d825368","committime":"2016-03-22T09:42:31","packageid":49507,"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":"dac346704127bc7c2e178de350a4c140b6aa4a51","committime":"2016-03-22T08:49:12","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 113.33.00"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cb2fb7707ab82480e2a07d6b06d2b0ce00d31cd4","committime":"2016-02-05T21:02:08","packageid":49507,"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":"fe1e505edfe6674926e7bdf3c36f3732c47c3cc6","committime":"2016-02-05T18:03:45","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: use proper install method"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"9c21cf8d2cc2f5fae58c0ca0f82d58051b288f42","committime":"2016-02-05T15:14:54","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 113.24.00"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"70c032e7c7375c21f6bae8e56d8cadcf2f3e1bd4","committime":"2015-09-19T14:21:44","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.20.1","commitid":"4533a9f45b255efac62c6021e5e5343a69c93828","committime":"2015-09-19T12:13:45","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: bump to 113.00.00"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.20.1","commitid":"d9e64dcde3140d813f038c902e4560d14d239649","committime":"2015-09-19T12:03:52","packageid":49507,"repoid":1,"summary":"dev-ml\/sexplib: remove old."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cef953cacc801579a31fc8d9e7f556468a319b8a","committime":"2015-08-24T10:46:35","packageid":49507,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jlec@gentoo.org","authorname":"Justin Lecher","body":"Signed-off-by: Justin Lecher ","commitid":"c84be41d02d264cc116a9a8436ca3bef3abb417c","committime":"2015-08-24T10:37:39","packageid":49507,"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":49507,"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":49507,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"584d2da1812bbd32ddc36e89f78480eaf842a727","committime":"2015-07-13T13:20:07","packageid":49507,"repoid":1,"summary":"2015-07-13 13:20:05 UTC"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":49507,"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":[810442,810443,829840,829840],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"Standard library for OCaml","ebuildids":[810442,810443],"firstseen":"2017-04-02T13:36:30.774148","name":"base","packageid":66726},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[810442,810443,829840],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[810442,810443,829840],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"S-expression parsing library","ebuildids":[810442,810443,829840],"firstseen":"2020-10-13T14:25:05.132759","name":"parsexp","packageid":72111},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[810442,810443,829840],"firstseen":"2020-10-13T14:25:05.132759","name":"sexplib0","packageid":72120}],"depending":[{"block":false,"categoryid":314,"description":"Jane Street's alternative to the standard library","ebuildids":[830027,830027],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"core","packageid":45725,"summary":"Core is Jane Street Capital's Ocaml standard library overlay. It provides tail recursive versions of non tail recursive functions in the standard library, changes the signature of many of the standard modules, and adds new functionality. Core_extended adds new functionality, but is only code reviewed on an ad-hoc basis."},{"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":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":314,"description":"Lazily rendering log messages","ebuildids":[777567,777567,791901,791901,829838,829838],"firstseen":"2022-04-25T18:21:04.804344","name":"ppx_log","packageid":74880},{"block":false,"categoryid":314,"description":"S-expression pretty-printer","ebuildids":[776233,776233,776256,776256,791989,791989,830038,830038],"firstseen":"2022-04-26T21:06:51.091117","name":"sexp_pretty","packageid":74897},{"block":false,"categoryid":314,"description":"Unix-specific portions of Core","ebuildids":[830029,830029,860847,860847],"firstseen":"2022-04-27T08:09:09.585612","name":"core_unix","packageid":74902},{"block":false,"categoryid":428,"description":"Program matching and transformation engine","ebuildids":[828344,828344],"firstseen":"2022-10-29T19:33:57.157623","name":"coccinelle","packageid":75575}],"ebuilds":[{"archs":["~amd64","~arm64","~ppc","~ppc64"],"ebuildid":829840,"firstseen":"2024-06-13T22:06:41.673025","license":"Apache-2.0","moddate":"2024-10-08T16:04:50","packageid":49507,"repoid":1,"slot":"0\/0.17","uses":["ocamlopt"],"version":"0.17.0"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":810443,"firstseen":"2023-12-29T23:01:28.778140","license":"Apache-2.0","moddate":"2024-10-08T16:04:50","packageid":49507,"repoid":1,"slot":"0\/0.16","uses":["ocamlopt"],"version":"0.16.0-r1"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":810442,"firstseen":"2023-12-29T23:01:28.778140","license":"Apache-2.0","moddate":"2024-10-08T16:04:50","packageid":49507,"repoid":1,"slot":"0\/0.15","uses":["ocamlopt"],"version":"0.15.1-r2"}],"masks":[],"package":{"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"sexplib","packageid":49507},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[810442,810443,829840,829840],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"Standard library for OCaml","ebuildids":[810442,810443],"firstseen":"2017-04-02T13:36:30.774148","name":"base","packageid":66726},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[810442,810443,829840],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[810442,810443,829840],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"S-expression parsing library","ebuildids":[810442,810443,829840],"firstseen":"2020-10-13T14:25:05.132759","name":"parsexp","packageid":72111},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[810442,810443,829840],"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\/janestreet\/sexplib"],"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"}]}