{"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":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2a39f13480349ca0b6cd445168d486c49648235c","committime":"2024-06-12T05:51:06","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4ae57cafa73fa07b1486c47e7067e76714d1b77b","committime":"2024-06-12T05:37:21","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.16.0-r1 ppc64, #933369"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d6b27669648462344ffc5187721c24d846a6d8e1","committime":"2024-06-11T06:51:03","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"9be69d1d412f28f170c73ff6a54b6c472b000c35","committime":"2024-06-11T06:38:41","packageid":64965,"repoid":1,"summary":"dev-ml\/*: add [ocamlopt?]"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9531ebba81ac4220ad369fad6b331a5903887aca","committime":"2024-06-11T06:35:57","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"871b731105fa48c84ec8a300dfee6f35a86bf579","committime":"2024-06-11T06:28:37","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: add 0.17.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a5460263adcdce66c5516771f8adae5bae5a4884","committime":"2024-06-02T20:03:50","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9057a6ec9b2db33feca1e2104d6881b756d2c96e","committime":"2024-06-02T19:48:44","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"049163ba0671f7cd00323a1ef40bfeff85bb25b6","committime":"2024-06-02T19:44:03","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.16.0-r1 arm64, #933369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"8be98a2c98cd1b524c15603d62f8f894039f5742","committime":"2024-06-02T19:43:37","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.16.0-r1 arm, #933369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fe0e3e4976c9ca8e5611169d441b762a08242d8b","committime":"2024-06-02T19:39:19","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.16.0-r1 x86, #933369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"21a5cfcea6e28b6f9eceb897b8d141508cbb5419","committime":"2024-06-02T19:33:30","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.16.0-r1 amd64, #933369"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4a30c7d8d8727cdf5e85870165609cd0d0e8dcac","committime":"2023-12-29T22:31:55","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"9041e271d07eeb9f91b430f3bb772852a85910db","committime":"2023-12-29T22:28:16","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: add ocamlopt? deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d71bfc79c2c0aa4706f10ccfd904b6225d857137","committime":"2023-06-30T13:16:52","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3664b864e87c0e053e808db610cb9ffd7ecc8731","committime":"2023-06-30T11:32:04","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: add 0.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"51afa887a6cb9909627c9a7dadbda3e3a4574d19","committime":"2023-03-25T13:16:49","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"191e0265b64fe589419b41cafc36d00a73af6301","committime":"2023-03-25T13:07:17","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.15.1 x86, #901525"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a9f5294e9332b21dc582b50f42ee85eb43995b49","committime":"2023-03-25T02:03:59","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f8ef99551868b47b2be7f58096573c2cb1d51a30","committime":"2023-03-25T01:47:22","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.15.1 ppc64, #901525"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"99910e4c6a801ac97901167f92bfc40b7051c3ef","committime":"2023-03-25T01:47:21","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.15.1 arm64, #901525"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7bcd237e17c4d4227901ae02bf9de4e8a5c63b05","committime":"2023-03-25T01:46:49","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"45a143e2cfce57a26c4ed8707e2fa966d2f42d9a","committime":"2023-03-25T01:42:21","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.15.1 arm, #901525"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"32fbb2b13dd02c875c921a7c80d62933a44ae635","committime":"2023-03-16T13:46:54","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"ca30ad14f01eb031dce89a9a144b212f1685d8a0","committime":"2023-03-16T13:16:15","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: stabilize 0.15.1 for amd64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2fe89ae57ad1df9851c91944f5c5259d15245f1","committime":"2023-03-09T21:31:54","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"8305549cb82744230bde60af862362d31dc66d47","committime":"2023-03-09T21:17:06","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: fix dep on ppxlib"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1051a1e3d62a34f8cdcc8d4780f078255266671c","committime":"2023-01-28T13:32:13","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"a5c7e167b55ba73ae07a6f549660a6e4628a9e0b","committime":"2023-01-28T12:52:29","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: bump to 1.15.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d296284a9d9c290c5d17d8e1e4d022a1de2b015e","committime":"2022-04-24T09:03:08","packageid":64965,"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":"456d9141138a63a3019c87f4092b2e978f40f128","committime":"2022-04-24T08:57:42","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: rework RDEP"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"113cea823c5767ac933d11ba24cc6e56845b053d","committime":"2022-04-23T19:04:00","packageid":64965,"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":"9229fe300051b7b2af7410915d95c8a6d1850fc2","committime":"2022-04-23T18:45:41","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: depends on slotted dev-ml\/base"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dd924709fb9ff21514042bd0baae4ff0f95a9c17","committime":"2022-04-22T18:34:03","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/839945\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"e9be5a08b89baabbdcd8a819eb71cf475a1c7601","committime":"2022-04-22T18:02:50","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: 0.15.0 bump"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":64965,"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":"5820db314508663b91693807880f75501daf432d","committime":"2022-04-17T15:39:55","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Keyword 0.14.3 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":64965,"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":"e2c951b8c8167571ae9041b916b99d40a27b44be","committime":"2022-03-03T21:18:54","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"38bd47f92e9b690d4e3e7d4de2205d72a85b8af8","committime":"2021-11-15T19:51:20","packageid":64965,"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=\"ppc64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"37c88ed1b2615c361671086b49c84e81e7f33503","committime":"2021-11-15T19:41:10","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: ppc64 stable wrt bug #817737"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e9fc0b608f391b3a2a38f457842543d7cc90643b","committime":"2021-11-15T16:36:35","packageid":64965,"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=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"6815ff7d89af83e378c31567ab66e4a70af59b76","committime":"2021-11-15T16:28:33","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: ppc stable wrt bug #817737"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a5dfeb3439fc557bcd808f9d1aa0cb67596361bf","committime":"2021-11-02T10:36:23","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"4a8ce46aa978d1df3ceadc9ecc87a004ea983cac","committime":"2021-11-02T10:17:48","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.3 arm64, #817737"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"dc6fdb82e5e3079438cdc180142afd049e0cb730","committime":"2021-11-02T10:17:30","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.3 arm, #817737"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1c144fbe86349ee6d52c4c0a9be3ce63fe8f53fb","committime":"2021-10-20T07:21:22","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c96fcc188571ac97de6b2fedff3b1bfc89e8d2a4","committime":"2021-10-20T07:06:29","packageid":64965,"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":"759fb64e5fc0d1937146d91d69073f025fcffcf6","committime":"2021-10-20T07:02:15","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: x86 stable wrt bug #817737"},{"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":"ea5ae6ae496a4581edf74f2e4975eaed05cc453c","committime":"2021-10-20T06:55:55","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: amd64 stable wrt bug #817737"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"13531104356bf095ee1ab002633cc8470faffdec","committime":"2021-10-15T03:43:50","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a6c01551d7c31debec3db70595b9311cdb24a998","committime":"2021-10-15T03:28:21","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: adjust ppxlib upper bound"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9b29702dc5dc6be50d80e8765c9fe0a45811daa2","committime":"2021-08-03T11:22:33","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f9a96411e5ba162860fcd786538fc4eb55a0a27a","committime":"2021-08-03T11:00:40","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.2 arm64, #804786"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"caeaf323fc37092afb80cf5f3fbfd9480af1c8e9","committime":"2021-07-31T22:21:18","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"562b210e057ebcfb2e537d95f95308f7b8ff0cea","committime":"2021-07-31T22:10:32","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.2 arm, #804786"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4b1b0ed3b1c6242d07013fe7cf365afcfcea244a","committime":"2021-07-30T15:21:18","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"24789333959d1064242bbff30bb4f7922eac7e0b","committime":"2021-07-30T15:13:46","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: ppc stable wrt bug #804786"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ca0afcb1722c0d86eef2ea31632b5ae65960454d","committime":"2021-07-30T06:21:19","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"37acbda43d8c76ad4a06a03cbd4f987e23d9307f","committime":"2021-07-30T06:13:04","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.2 amd64, #804786"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"abca455bf81b9ba14db2e3c6a70d81d17ad9346e","committime":"2021-07-29T07:07:48","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"934f67477418d15bbede571ae30dc352e41f11c5","committime":"2021-07-29T06:43:15","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: x86 stable wrt bug #804786"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c77461335e2e4b5dc65fc328cd046e3f2c5bba2a","committime":"2021-07-28T03:21:40","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"850372531588b733a5d90c095bc077f73b339ff2","committime":"2021-07-28T03:11:12","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.2 ppc64, #804786"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ddc229bb349e479137431024b6236a856fe15949","committime":"2021-07-12T20:06:23","packageid":64965,"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":"af975647812bdfa997de5065220061b19bef5ba3","committime":"2021-07-12T19:56:58","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: bump to 0.14.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0b9d38c2cd2dbf24699fdd86f10715a0de6627d3","committime":"2021-03-14T00:39:58","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.1 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6edc944b78c75957af9934545acc087d69e86581","committime":"2021-03-14T00:30:30","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.1 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c04cdb17e72a2d48e1171276e00cb277e8aae888","committime":"2021-03-07T20:20:48","packageid":64965,"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":"a24f1542463190c2e5948acfe023bc485a113ce8","committime":"2021-03-07T20:12:13","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: drop 0.9.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ebe772e3d6e718c7a3daa31aab9aa86f1d48cc8","committime":"2021-02-11T06:52:40","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7d9c5f7ea05df6e9467a40fbb9917307af836ed3","committime":"2021-02-11T06:37:36","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"500881a582c95f6150e737acc10b029f4d57e30a","committime":"2021-02-11T06:31:04","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.1 ppc, #769317"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b45db43c78c31089f7028d9e0b89e157c8bf8ddc","committime":"2021-02-11T06:25:18","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.1 x86, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b45b79ab2dc8417903ad6be83bb57ade817739f6","committime":"2021-02-10T19:07:47","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a716206c3bcbc7d66dbcac66fd800c95a01b2473","committime":"2021-02-10T18:52:05","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.1 amd64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d29c7e80c0cdabc35a665363e64a9cf9330218e2","committime":"2021-02-10T16:32:20","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Stabilize 0.14.1 ppc64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ae57a31f9a81d9d4c4ada7d9715aa9a5676db93d","committime":"2021-02-09T21:26:43","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"* No functional change with the bump as it applies the\n patch we already had.\n\n But we're doing the bump anyway because it looks nicer\n than a revbump (and avoids \"new version\" noise) for...\n\n* Add upper-bound on dev-ml\/ppxlib as we're broken with\n >0.20.0.\n\nCloses: https:\/\/bugs.gentoo.org\/769536\nPackage-Manager: Portage-3.0.14, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"8fba56ffe31ff29f1f4bcb9cd35d594894befd7b","committime":"2021-02-09T18:31:10","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: bump to 0.14.2, upper bound on ppxlib"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a67b676cb1763165c71cc60b647b813cbe48a85a","committime":"2021-01-24T21:33:01","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.14, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"c097bf9820f20389a46d6d300aaebaabbcb0a1f3","committime":"2021-01-24T20:42:50","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: fix indentation"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":64965,"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":"f732b7d0f540c2c5348885107ce160ef280f2528","committime":"2020-10-28T03:14:48","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4f91163ee007b0193ba6f49c515fc79a344f1fe","committime":"2020-10-24T01:05:15","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"94221701c7615f5fd1e4738da37ca229ba4142d0","committime":"2020-10-24T00:15:52","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Keyword 0.14.1 ppc, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cdfb409e65930bc47d605a612b3322a1312440b2","committime":"2020-10-16T19:05:06","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mattst88@gentoo.org","authorname":"Matt Turner","body":"Fixes: 19968c73cf7 (\"dev-ml\/ppx_assert: Fix deps and compile fail\")\nSigned-off-by: Matt Turner ","commitid":"115deb4d7b9ba023e7aa5927aeaa350891ec25ce","committime":"2020-10-16T18:41:36","packageid":64965,"repoid":1,"summary":"dev-ml: Add some ~x86 keywords to resolve breakage"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8c249309b3ca5a7e1f2f31417140134caa6a2a0e","committime":"2020-10-16T15:35:03","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to Agostino Sarubbo for reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/748714\nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"a8a4852a1031142db8cbc75e4aaa711b2ce00ce2","committime":"2020-10-16T15:15:31","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Fix deps and compile fail"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":64965,"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":"68d6f8068733cb9cb12f9a51f4decb433cc5dc24","committime":"2020-10-13T06:47:04","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Bump to 0.14.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"010b12cb72641825e2eadfee7174936b2f95ac12","committime":"2018-02-14T14:46:21","packageid":64965,"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":"d1f009848e2091963bfc910cd7c0752fc31c6f85","committime":"2018-02-14T14:25:21","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: x86 keyworded (bug #627836)"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2fad74f3e21931c61a263cd484a4c6e22953b1c3","committime":"2017-09-10T15:06:53","packageid":64965,"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":"6372a5686007e473fd3580cdf8c12a8247f89b2d","committime":"2017-09-10T14:44:29","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: keyworded 0.9.0-r1 for ppc, bug #627836"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"73f1d6dc57e85769dd61b43d3d17ee18f24a91a9","committime":"2017-08-15T07:54:29","packageid":64965,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.7, Repoman-2.3.3","commitid":"c3c547938eb6fed26f75a7f2af11e68e6b18569c","committime":"2017-08-15T07:19:06","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: convert to opam.eclass"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f587731e53fd964a30cc362b4d8ce857ee35d9b8","committime":"2017-06-25T15:04:08","packageid":64965,"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":"2651aef1e54c3246e2bf246c33249c2ea5735242","committime":"2017-06-25T10:04:06","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: add missing ppx_traverse_builtins dep"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"217340135cf5e2969ed377ddc1e979ff0978af8b","committime":"2017-04-17T08:41:50","packageid":64965,"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":"26ed2d46d2a790597328d86357ef70788b53537f","committime":"2017-04-16T19:41:34","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: revbump for propagating previous fix"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"b70a2389688e2064a32780d7c2bc0e24cbcaf6e5","committime":"2017-04-16T19:40:09","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: add missing dev-lang\/ocaml:= dep"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"89d751f974c7d67600897cb4e8fea7f71a1c32b9","committime":"2017-04-15T10:41:49","packageid":64965,"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":"6d0226e65ff61fb61ee8cec580bedc29a6dc84c4","committime":"2017-04-14T14:43:11","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: add missing dep on ppx_optcomp"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c8b5ee041aedd5b92f4b61ee47ca4ad4dcaff8ab","committime":"2017-04-02T08:42:00","packageid":64965,"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":"f1720706493c06761ad22e77b48b9a045680d838","committime":"2017-04-01T14:47:21","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: Bump to 0.9.0"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":64965,"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":64965,"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":64965,"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":64965,"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":"f5e66d4736badeefea90fd98b718979fd1e4d38f","committime":"2017-01-24T11:40:23","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"01ff43773bb9df799181f4c27f4aeab5e0a72243","committime":"2016-05-03T09:23:04","packageid":64965,"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":"596ea1e96d7378bc8ea31648d882a0bceefec14e","committime":"2016-05-01T18:10:24","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: 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":64965,"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":"1e9c29d1c61fa7afb04311378dc7c013cc312a71","committime":"2016-03-22T09:02:27","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: bump to 113.33.00"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cb2fb7707ab82480e2a07d6b06d2b0ce00d31cd4","committime":"2016-02-05T21:02:08","packageid":64965,"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":"49e917034038f91c76f41ddc2cc65811b602acc6","committime":"2016-02-05T17:55:15","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: use proper install method"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"925c03ead0c69e38b42038914fab0274143843a3","committime":"2016-02-05T15:23:17","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: fix dependancies"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"d903a3fa057d977d6b1bd8771f388dc136eea4c0","committime":"2016-02-05T15:22:25","packageid":64965,"repoid":1,"summary":"dev-ml\/ppx_sexp_conv: initial import; ebuild by me"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[810436,810437,810438,810439,810440,810440,829233,829233],"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":[810436,810437,810438,810439,810440],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":314,"description":"Convert OCaml parsetrees between different major versions","ebuildids":[810436,810437,810438],"firstseen":"2017-04-01T13:36:38.375057","name":"ocaml-migrate-parsetree","packageid":66704},{"block":false,"categoryid":314,"description":"Standard library for OCaml","ebuildids":[810436,810437,810438,810439,810440,829233],"firstseen":"2017-04-02T13:36:30.774148","name":"base","packageid":66726},{"block":false,"categoryid":314,"description":"Repackage the OCaml compiler libs so they do not expose everything at toplevel","ebuildids":[810436,810437,810438,810439,810440],"firstseen":"2017-04-02T13:36:30.774148","name":"ocaml-compiler-libs","packageid":66729},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[810436,810437,810438,810439,810440,829233],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Trivial metaprogramming tool","ebuildids":[810436,810437,810438],"firstseen":"2020-10-13T14:25:05.132759","name":"cinaps","packageid":72094},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[810436,810437,810438,810438,810439,810440,829233],"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":[810436,810437,810438,829233],"firstseen":"2020-10-13T14:25:05.132759","name":"sexplib0","packageid":72120},{"block":false,"categoryid":314,"description":"Utilities for working with Jane Street AST constructs","ebuildids":[829233],"firstseen":"2024-06-11T06:08:53.735990","name":"ppxlib_jane","packageid":77567}],"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":314,"description":"System-independent part of Core","ebuildids":[738197,738197,792012,792012,828566,828566],"firstseen":"2013-06-11T13:36:25.960039","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"core_kernel","packageid":60837,"summary":"Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript. It provides an overlay on the usual namespace, so the best way to use Core is to start your file with: open Core_kernel.Std"},{"block":false,"categoryid":314,"description":"Assert-like extension nodes that raise useful errors on failure","ebuildids":[776255,776255,791850,791850,828582,828582,829483,829483],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_assert","packageid":64947},{"block":false,"categoryid":314,"description":"Printf-style format-strings for user-defined string conversion","ebuildids":[689263,689263,738484,738484,777562,777562,791979,791979,829923,829923],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_custom_printf","packageid":64952},{"block":false,"categoryid":314,"description":"Cram like framework for OCaml","ebuildids":[689268,689268,718292,718292,738485,738485],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_expect","packageid":64956},{"block":false,"categoryid":314,"description":"A ppx rewriter for easy construction of s-expressions","ebuildids":[689284,689284,765724,765724,777527,777527,791862,791862,829482,829482],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_sexp_message","packageid":64966},{"block":false,"categoryid":314,"description":"Standard library for ppx rewriters","ebuildids":[689285,689285,777569,777569,791904,791904,829484,829484],"firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_sexp_value","packageid":64967},{"block":false,"categoryid":314,"description":"PPX rewriter that generates hash functions from type expressions and definitions","ebuildids":[689272,689272,777519,777519,791857,791857,829235,829235],"firstseen":"2017-04-02T13:36:30.774148","name":"ppx_hash","packageid":66716},{"block":false,"categoryid":314,"description":"Base set of ppx rewriters","ebuildids":[689258,689258,794350,794350,829234,829234],"firstseen":"2017-04-02T13:36:30.774148","name":"ppx_base","packageid":66727},{"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":"Randomized testing framework, designed for compatibility with Base","ebuildids":[791950,791950],"firstseen":"2020-10-13T14:25:05.132759","name":"base_quickcheck","packageid":72091},{"block":false,"categoryid":314,"description":"Binary protocol generator","ebuildids":[689211,689211,791973,791973,828763,828763,829920,829920],"firstseen":"2020-10-13T14:25:05.132759","name":"bin_prot","packageid":72092},{"block":false,"categoryid":314,"description":"Compile-time configuration for Jane Street libraries","ebuildids":[776254,776254,791849,791849],"firstseen":"2020-10-13T14:25:05.132759","name":"jst-config","packageid":72098},{"block":false,"categoryid":314,"description":"PRNG that can be split into independent streams","ebuildids":[791863,791863],"firstseen":"2020-10-13T14:25:05.132759","name":"splittable_random","packageid":72121},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,845202,845202],"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":[829838,829838],"firstseen":"2022-04-25T18:21:04.804344","name":"ppx_log","packageid":74880}],"ebuilds":[{"archs":["~amd64","~arm64","~ppc","~ppc64"],"ebuildid":829233,"firstseen":"2024-06-11T07:49:14.795709","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":64965,"repoid":1,"slot":"0\/0.17","uses":["ocamlopt"],"version":"0.17.0"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":810440,"firstseen":"2023-12-29T22:41:24.804693","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":64965,"repoid":1,"slot":"0\/0.16","uses":["ocamlopt"],"version":"0.16.0-r1"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":810439,"firstseen":"2023-12-29T22:41:24.804693","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":64965,"repoid":1,"slot":"0\/0.15","uses":["ocamlopt"],"version":"0.15.1-r1"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":810438,"firstseen":"2023-12-29T22:41:24.804693","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":64965,"repoid":1,"slot":"0\/0.14.3","uses":["ocamlopt"],"version":"0.14.3-r1"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":810437,"firstseen":"2023-12-29T22:41:24.804693","license":"MIT","moddate":"2024-10-08T16:04:50","packageid":64965,"repoid":1,"slot":"0\/0.14.2","uses":["ocamlopt"],"version":"0.14.2-r2"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":810436,"firstseen":"2023-12-29T22:41:24.804693","license":"Apache-2.0","moddate":"2024-10-08T16:04:50","packageid":64965,"repoid":1,"slot":"0\/0.14.1","uses":["ocamlopt"],"version":"0.14.1-r1"}],"masks":[{"atomspec":[">=dev-lang\/ocaml-5",">=dev-ml\/camlp4-5",">=dev-ml\/labltk-8.06.14",">=dev-ml\/ocaml-compiler-libs-0.17",">=dev-ml\/ppx_deriving-6.0.2",">=dev-ml\/ppxlib-0.32.1","dev-ml\/async:0\/0.17","dev-ml\/async_kernel:0\/0.17","dev-ml\/async_log:0\/0.17","dev-ml\/async_rpc_kernel:0\/0.17","dev-ml\/async_unix:0\/0.17","dev-ml\/base:0\/0.17","dev-ml\/base_bigstring:0\/0.17","dev-ml\/base_quickcheck:0\/0.17","dev-ml\/bin_prot:0\/0.17","dev-ml\/capitalization:0\/0.17","dev-ml\/core:0\/0.17","dev-ml\/core_kernel:0\/0.17","dev-ml\/core_unix:0\/0.17","dev-ml\/expect_test_helpers_core:0\/0.17","dev-ml\/fieldslib:0\/0.17","dev-ml\/gel:0\/0.17","dev-ml\/int_repr:0\/0.17","dev-ml\/jane-street-headers:0\/0.17","dev-ml\/jst-config:0\/0.17","dev-ml\/ocaml_intrinsics:0\/0.17","dev-ml\/ocaml_intrinsics_kernel:0\/0.17","dev-ml\/parsexp:0\/0.17","dev-ml\/patience_diff:0\/0.17","dev-ml\/ppx_assert:0\/0.17","dev-ml\/ppx_base:0\/0.17","dev-ml\/ppx_bench:0\/0.17","dev-ml\/ppx_bin_prot:0\/0.17","dev-ml\/ppx_cold:0\/0.17","dev-ml\/ppx_compare:0\/0.17","dev-ml\/ppx_custom_printf:0\/0.17","dev-ml\/ppx_diff:0\/0.17","dev-ml\/ppx_disable_unused_warnings:0\/0.17","dev-ml\/ppx_enumerate:0\/0.17","dev-ml\/ppx_expect:0\/0.17","dev-ml\/ppx_fields_conv:0\/0.17","dev-ml\/ppx_fixed_literal:0\/0.17","dev-ml\/ppx_globalize:0\/0.17","dev-ml\/ppx_hash:0\/0.17","dev-ml\/ppx_here:0\/0.17","dev-ml\/ppx_ignore_instrumentation:0\/0.17","dev-ml\/ppx_inline_test:0\/0.17","dev-ml\/ppx_jane:0\/0.17","dev-ml\/ppx_js_style:0\/0.17","dev-ml\/ppx_let:0\/0.17","dev-ml\/ppx_log:0\/0.17","dev-ml\/ppx_module_timer:0\/0.17","dev-ml\/ppx_optcomp:0\/0.17","dev-ml\/ppx_optional:0\/0.17","dev-ml\/ppx_pipebang:0\/0.17","dev-ml\/ppx_sexp_conv:0\/0.17","dev-ml\/ppx_sexp_message:0\/0.17","dev-ml\/ppx_sexp_value:0\/0.17","dev-ml\/ppx_stable:0\/0.17","dev-ml\/ppx_stable_witness:0\/0.17","dev-ml\/ppx_string:0\/0.17","dev-ml\/ppx_string_conv:0\/0.17","dev-ml\/ppx_tydi:0\/0.17","dev-ml\/ppx_typerep_conv:0\/0.17","dev-ml\/ppx_variants_conv:0\/0.17","dev-ml\/ppxlib_jane","dev-ml\/protocol_version_header:0\/0.17","dev-ml\/sexp_pretty:0\/0.17","dev-ml\/sexplib0:0\/0.17","dev-ml\/sexplib:0\/0.17","dev-ml\/splittable_random:0\/0.17","dev-ml\/stdio:0\/0.17","dev-ml\/textutils:0\/0.17","dev-ml\/textutils_kernel:0\/0.17","dev-ml\/time_now:0\/0.17","dev-ml\/timezone:0\/0.17","dev-ml\/typerep:0\/0.17","dev-ml\/uopt:0\/0.17","dev-ml\/variantslib:0\/0.17"],"dateadded":"2024-06-09","ebuildids":[829233],"email":"tupone@gentoo.org","message":"Not ready for testing","person":"Alfredo Tupone","setno":7223}],"package":{"categoryid":314,"description":"Support Library for type-driven code generators","firstseen":"2016-02-06T14:40:36.761342","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ppx_sexp_conv","packageid":64965},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[810436,810437,810438,810439,810440,810440,829233,829233],"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":[810436,810437,810438,810439,810440],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":314,"description":"Convert OCaml parsetrees between different major versions","ebuildids":[810436,810437,810438],"firstseen":"2017-04-01T13:36:38.375057","name":"ocaml-migrate-parsetree","packageid":66704},{"block":false,"categoryid":314,"description":"Standard library for OCaml","ebuildids":[810436,810437,810438,810439,810440,829233],"firstseen":"2017-04-02T13:36:30.774148","name":"base","packageid":66726},{"block":false,"categoryid":314,"description":"Repackage the OCaml compiler libs so they do not expose everything at toplevel","ebuildids":[810436,810437,810438,810439,810440],"firstseen":"2017-04-02T13:36:30.774148","name":"ocaml-compiler-libs","packageid":66729},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[810436,810437,810438,810439,810440,829233],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Trivial metaprogramming tool","ebuildids":[810436,810437,810438],"firstseen":"2020-10-13T14:25:05.132759","name":"cinaps","packageid":72094},{"block":false,"categoryid":314,"description":"Base library and tools for ppx rewriters","ebuildids":[810436,810437,810438,810438,810439,810440,829233],"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":[810436,810437,810438,829233],"firstseen":"2020-10-13T14:25:05.132759","name":"sexplib0","packageid":72120},{"block":false,"categoryid":314,"description":"Utilities for working with Jane Street AST constructs","ebuildids":[829233],"firstseen":"2024-06-11T06:08:53.735990","name":"ppxlib_jane","packageid":77567}],"repos":[{"branch":"master","lastcommit":"0fa6259446b1ba8ef3d09c5d086407ef09f0d8a1","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/janestreet\/ppx_sexp_conv"],"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"}]}