{"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":"cc5dda95b37cd0dcb620b5660cf5571ebccc9458","committime":"2025-09-22T20:18:47","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"7edde8926da56cde09783c2af560f4a766b399dd","committime":"2025-09-22T19:51:40","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: add 20250912"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b53572caceba60676f5839d0b40b74a17b9396f2","committime":"2025-09-22T13:04:00","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"c6d7f0197fcb7e320050a9cd3cc2a382c07b02ff","committime":"2025-09-22T12:53:06","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop 20230608, 20231231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a25d9514278f7b7f6ce3151bd0adfe848fb8f5ca","committime":"2024-10-18T15:48:33","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"6c54997971400fb96e7bc4fb25f3786decb093ea","committime":"2024-10-18T15:40:13","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20240715 arm64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a7bcc367d4303b4d0ed8b651af9e7f594e750c87","committime":"2024-10-18T15:40:04","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20240715 arm, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"28e52d5f759753acd6c861c850947fb8b9efcf57","committime":"2024-10-15T15:24:39","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20240715 x86, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"9310ae452ea7bc923e7622627ec4fe57dfc558cf","committime":"2024-10-15T15:24:27","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20240715 ppc64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"70a7e0bf8827a67820cfb08f5d032c67db7b5e3c","committime":"2024-10-15T15:24:09","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20240715 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3ce7c49dcb31e83f40bfbff1eaac4fe0da218d15","committime":"2024-09-13T21:03:54","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"fde97fcb0ef5b19b374a678a67de3587b458e953","committime":"2024-09-13T14:55:43","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20240715"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"940d06c383fa17974b1c403e519b1f339e9cc0e1","committime":"2024-06-27T16:48:56","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"13ac4699fa004d1b8308a0719a5089cbe02114fc","committime":"2024-06-27T16:32:27","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: add 20231231"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9212c03a6c6ccc89be6c217f7a0f36fc628d7c30","committime":"2024-06-21T12:48:59","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/923844\nSigned-off-by: Maciej Barć ","commitid":"7c83e1bc690fc61e507fc72d6d55084e462f2da0","committime":"2024-06-21T12:30:50","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop old 20220210"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5aa38a00bbae915c466d64a84d4f9d3c2b59ade9","committime":"2023-10-08T15:31:55","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"000f4388f0607de2841c32e5acc6c092a6510534","committime":"2023-10-08T15:29:18","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20230608 ppc64, #915369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"1c97a0cdc5d999fbc5eb8009d4dbf859ea3a4d81","committime":"2023-10-08T15:29:18","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20230608 arm64, #915369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"325f3f4a1c6ebe8d7ff2c21af37179360eea1dfd","committime":"2023-10-08T15:29:17","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20230608 x86, #915369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"c7cf0676bda3ba5f175a04cbce4b62f39ce72e32","committime":"2023-10-08T15:29:16","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20230608 arm, #915369"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"958b4f403950159f571b888c77a0dff543a4e174","committime":"2023-10-08T15:29:15","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20230608 amd64, #915369"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a01a25df1d0067cd6c338b0ac5b7021f7a4f47ce","committime":"2023-08-20T11:31:28","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5fc303b41809f83e059cd513b1841d358c6e10de","committime":"2023-08-20T11:11:50","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20230608"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3f7a316dcef69ae1539e9edbd150b1a7a31139e7","committime":"2023-08-20T11:10:46","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop old 20211012"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6b0fa42da02fdac3bf7a228f093fa337a9137732","committime":"2023-08-20T11:10:37","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop old 20210419-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e56a8bf2b2099212fa7036062a6af215b7785a9b","committime":"2023-08-20T11:10:29","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop old 20190924"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c8de3182298fb15ee20affc731b2b2aaa1735be4","committime":"2023-03-17T09:16:57","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7ddc0a5b6bed179d79be7453ac3f75df7d82b349","committime":"2023-03-17T09:06:14","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20220210 ppc64, #901609"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e287b2ce7f2abff274dbadfcd34b65fd990024d","committime":"2023-03-17T02:31:56","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"98c0075f6dca653a17cfc628f9a31416bc03475a","committime":"2023-03-17T02:26:58","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20220210 x86, #901609"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"9ccc1e9067296b6a077ece6a4e8f1db6091edd85","committime":"2023-03-17T02:26:57","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20220210 amd64, #901609"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c0e914f05b83a0eeff5151522aae58551d2b1ab2","committime":"2023-03-16T23:32:21","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"2866cee5ca918ede040723081326b6927021aecd","committime":"2023-03-16T23:14:23","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20220210 arm64, #901609"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7e0af8fbb7e3d6b76862918e0df78baf994cb66d","committime":"2023-03-16T23:14:21","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20220210 arm, #901609"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f677f750f4f87036722128204668e0bd74790f05","committime":"2022-12-05T18:16:42","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"35ce53d48d4efbf7578a4eecea9f584797b4ca75","committime":"2022-12-05T18:04:14","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: BetterCompressionUri"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f5cd7c00765d132666258835ec958d24358e94c0","committime":"2022-09-06T17:16:41","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d390082d1c60e975d0c1dab6077d9263dd7a0937","committime":"2022-09-06T15:50:08","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20220210"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":60329,"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":"68079e268a042fc3593352c1f14b2d5b233126d7","committime":"2022-04-17T15:40:38","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Keyword 20211012 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":60329,"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":"38357d19b3808fde9ae1fcf87fe5b60960bfc0f3","committime":"2022-03-03T21:18:01","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cf27445ad8bf62fcd35d1b4bc62927abd3e3e7f7","committime":"2021-11-07T17:06:23","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"6b2aeb5578c41ef128dc938611bdf67b69a3153a","committime":"2021-11-07T16:45:57","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: 20211012 bump"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"03cc00e9161187b52e1bfe2d88157d6aec97f5af","committime":"2021-10-13T20:51:18","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cc0318d3fcb1b1cbac4afc88cc88062c3e7b35bb","committime":"2021-10-13T20:36:06","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20210419-r1 arm64, #817713"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"504b1acd9c10ecd33a1d2566554670427f1cfcad","committime":"2021-10-13T20:34:43","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20210419-r1 arm, #817713"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0c270cab92b3476a378b4fdf89fd54166ab135bd","committime":"2021-10-11T15:36:22","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6b620d8c7231a714245734a38b2dc86c6c9f7b55","committime":"2021-10-11T15:20:16","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20210419-r1 x86, #817713"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f7420a00fce73a27a6642bf6a73c634b1627f4f3","committime":"2021-10-11T12:36:15","packageid":60329,"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":"7cc7c79f75ff8ac88b0ed15fefce74da26df5200","committime":"2021-10-11T12:16:01","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: ppc stable wrt bug #817713"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e3d3d1a2ef5f5efcd697608daace75b270f5fd54","committime":"2021-10-11T06:06:23","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"8559ff7cc11d1de11c391632921488d0b8dda9e5","committime":"2021-10-11T05:44:09","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20210419-r1 ppc64, #817713"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a566d829092e54f64ff47fd6791993bd37987624","committime":"2021-10-11T05:36:18","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6c49741e38bc3f6ac636e4e15722f785d48f9aff","committime":"2021-10-11T05:16:30","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20210419-r1 amd64, #817713"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"056a1da1ddd08ab2c404bc853f17ab6915617192","committime":"2021-07-18T17:51:20","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/802765\nPackage-Manager: Portage-3.0.20, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"092f46163dad03ee59ed6bf9859c6d98ade0dfe4","committime":"2021-07-18T17:39:19","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: install menhirLib and menhirSdk too"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2a7a43721b2de427e9ae41b7cf6ad8620abe033e","committime":"2021-07-18T13:51:25","packageid":60329,"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":"018d1a733064246c2a25c2d146d79a145bda3122","committime":"2021-07-18T13:40:46","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump 20210419"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"824405877a9f8947595238a7dfec9a60b7e7c5e5","committime":"2021-04-16T11:35:32","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1716d09d844ef705cbd18ace6962be6a18c00545","committime":"2021-04-15T08:10:44","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: eutils--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7874f3e8c02b767a5ea953cde1acda08a30df035","committime":"2021-03-15T04:21:06","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b24787e445a6d1ce29d5b2266d743f02a4534761","committime":"2021-03-14T00:57:30","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop 20181006"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0d16aae983b85609d851663e68ea8c386e0fbe12","committime":"2021-03-14T00:35:58","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20190924 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cefa5b50cb30bada4c7a66b623f8548d4ea634c0","committime":"2021-03-14T00:30:15","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20190924 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8decadcf6ae0d66e6fe296a5d72ceb0c7efbe556","committime":"2021-03-13T14:25:04","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"12555466f135fb44d7c233f364842e7fa1237eed","committime":"2021-03-13T14:04:57","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20190924 ppc64, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b0a566014ff090aa649d6cc6d24f6cc4e1b612fa","committime":"2021-03-04T14:37:02","packageid":60329,"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":"eb7688d46b875c6cd3d0ec5bfcec528419ab9570","committime":"2021-03-04T14:27:37","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: amd64 stable wrt bug #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b466a1bfc5dca5339513886519178be73458f976","committime":"2021-02-25T18:07:13","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d48d1bcd6e50db3c67bfbc84f52c074db45621f3","committime":"2021-02-25T17:54:08","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20190924 x86, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92984989295b442e1a9667d50c579cabaad88724","committime":"2021-02-25T13:22:08","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"0a1bc6655028b3704797565683821443d00e1541","committime":"2021-02-25T13:09:03","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stabilize 20190924 ppc, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"807f51753480017e35acce272bb122dc76992e9b","committime":"2021-02-10T16:39:05","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Keyword 20190924 ppc64, #766884"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"631877ae3accc311e037adb8e89044b48b388e02","committime":"2020-11-28T19:05:23","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bman@gentoo.org","authorname":"Aaron Bauman","body":"Signed-off-by: Aaron Bauman ","commitid":"9047d830ef0cd8f38a2a552affe4a3bbaefc15c9","committime":"2020-11-28T18:19:49","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: drop old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"364c03710cebc9a220c80468c3ce30fc23e247b9","committime":"2019-12-03T10:06:08","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zx2c4@gentoo.org","authorname":"Jason A. Donenfeld","body":"Package-Manager: Portage-2.3.79, Repoman-2.3.18\nSigned-off-by: Jason A. Donenfeld ","commitid":"93c943f023a98ee5fa4b985de120be61732f650a","committime":"2019-12-03T09:43:39","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20190924"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60964b314562451bbf16c2e4588e9934515bf9f1","committime":"2019-10-21T18:45:30","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"e1a45a59354169a207776cc44ec0771e18209f88","committime":"2019-10-21T18:26:29","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Stable version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5f8bd511f83e18f22db402dbef740f1ac3f7451e","committime":"2019-07-25T15:12:23","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Signed-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"13d836c4055c9fe0a95ee947b29e49c1a70392a8","committime":"2019-07-25T14:40:30","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20181006"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"29dd4a6bbb228c896bfa5930f96f8176768e0875","committime":"2018-12-15T09:24:00","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Signed-off-by: Mikle Kolyada \nPackage-Manager: Portage-2.3.51, Repoman-2.3.11","commitid":"4fd6956029b9e1e3ea508eddf022cbf647ee6e7c","committime":"2018-12-15T09:18:01","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: amd64 stable wrt bug #672444"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f8e9850a64ba56928d23a1dd5cd6d44c09781283","committime":"2017-10-17T06:23:29","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"59e172aef2b202e137d0712337b6389d8ab66f7d","committime":"2017-10-17T05:51:53","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20171013"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8cb92a3239469bb1f7a02ff0e471f4d895c36d9e","committime":"2017-07-24T05:43:31","packageid":60329,"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":"521bc8ad48df109bf2e29e4c862830e9c85b7762","committime":"2017-07-24T05:34:00","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Remove old"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.3","commitid":"c3e86a0a77f72bba55aea8d2e9dc016724e294fe","committime":"2017-07-24T05:33:25","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: keyword ~arm"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b5ea48106af5bbe872ea2f4300c7c568d1d013ff","committime":"2017-07-13T08:03:55","packageid":60329,"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":"8717676e08dad1b756e6d547b13c29c23ca43fb4","committime":"2017-07-13T06:59:43","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20170712"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"37fc41ffa9124eb883c3d673145209ab17c57e82","committime":"2017-07-08T14:40:43","packageid":60329,"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":"5b8bf64c8b9e8588def3693d035ea82cf5e1fef6","committime":"2017-07-08T14:18:49","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: add ~ppc (needed for jbuilder test suite)"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c70ebc87f720a8a42c6c047182b392da50a3ab52","committime":"2017-06-22T12:12:43","packageid":60329,"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":"279fd2e823cbf1e7adfd8e9d3c58404ba75b00e6","committime":"2017-06-22T11:33:10","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: keyword ~arm64"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"cfba63c014df1f19bbf024afbae14a30af8b21c6","committime":"2017-06-08T14:42:19","packageid":60329,"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":"b66207cbb06165d43cc604b29f91579f949b623a","committime":"2017-06-07T13:38:29","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20170607"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8cb42da48c57f0d6c282ed4a4f00e342bca2a32f","committime":"2017-05-10T08:21:48","packageid":60329,"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":"80a2300433209a82921bf31e96993832fe750f19","committime":"2017-05-10T07:56:25","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20170509"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"65b4a3f307d0775310308a9d5f46b24f2cac7ea1","committime":"2017-04-19T09:21:51","packageid":60329,"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":"2b70b6da66538e13243b52058b845334ceee261e","committime":"2017-04-19T08:50:35","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: new release switchted from qpl to gpl"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2","commitid":"93273d1b3ec2fbac0a73c99ff4eadb91f7adabb8","committime":"2017-04-19T08:41:51","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20170418"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":60329,"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":60329,"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":60329,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2bf699557b6faa2ebf0f368eb2fe7aebc454ad6e","committime":"2017-01-24T11:22:02","packageid":60329,"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":"24569e397b07fa63656624634305a8bfe65b2363","committime":"2017-01-24T11:09:20","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9c959e7f550e8e2845256c665082cd77a057a49d","committime":"2017-01-03T16:42:01","packageid":60329,"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":"4594915fe791e5cfa38409d96671af796ecd348e","committime":"2017-01-03T16:26:00","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20170101"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"00debc56f4479471e22f16fff2e6503bd4f76f31","committime":"2017-01-03T16:24:50","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9d6731665808ae9e16eab7d187f2a959a81fe152","committime":"2016-11-16T15:42:01","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"10168dc974d1800d20fb450593e7a20292582e7e","committime":"2016-11-16T15:08:08","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20161115"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"eb9b557718ff13031fe60a7bcce8592670ce76e7","committime":"2016-11-15T09:42:55","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"a9a0cd033a41fcaed06b1a96c3e6ef5b101849d0","committime":"2016-11-15T09:14:00","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20161114"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5eca29db4e84c2c388814e58d16b7567e2aa515d","committime":"2016-08-27T18:42:28","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"e87d912ae95d3922307ce2308a7a45dcf30c3a9a","committime":"2016-08-27T18:23:22","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20160825"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"64547c40cb44246c51faa550c1b7d3d918feef50","committime":"2016-08-16T12:22:37","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"0bb3e3705367ca9fa0f98ec8ce7f6a5eb8441749","committime":"2016-08-16T11:45:08","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20160808"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"74ae1152675d13d1184ac0cd430334022c7e0fed","committime":"2016-08-16T11:44:15","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"90b9297dfc9d63692ada1c61cc011f5f6dab8208","committime":"2016-05-30T10:04:29","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0_rc1","commitid":"3c40a802ed7c873c68fb4d733d3c1471dceaf223","committime":"2016-05-30T09:42:23","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20160526"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e2a5a1813f9c4183d0b2e20b075607a0ecc3e4df","committime":"2016-05-24T08:03:07","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0_rc1","commitid":"93103d32ea78c65b4cb5aeee72beab050df8b9f3","committime":"2016-05-24T07:55:46","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20160504"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"41c28621d2b530da735eb7956de2694b1e19dbe2","committime":"2016-03-04T11:42:18","packageid":60329,"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":"327eb3d7ca5f396d41c283e867b8f7b198d9ae84","committime":"2016-03-04T11:32:28","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20160303"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d6248f6f54abc04f405e547d34a6be6e2deacd25","committime":"2016-03-01T19:02:12","packageid":60329,"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":"1ad5dd3aad5751e18d1ffa0fa91acf8f5280169c","committime":"2016-03-01T18:44:00","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: fix build with ocamlbuild 0.9.1"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"6d44d78c59b8cbb66cf61a2025fddb9b8e3fb72d","committime":"2016-03-01T18:18:17","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: add ocamlbuild dep"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c5b810cd84e7c6d0186be901d4102a03510c3efe","committime":"2016-02-07T16:21:47","packageid":60329,"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":"a5b93d999787c131c6ec0ff34c29e1bd8d5955b0","committime":"2016-02-07T16:09:30","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c92eb8737bd7f28e3fc9c41cdf0d9d4b07752e71","committime":"2015-11-13T09:02:11","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.24\nSigned-off-by: Alexis Ballier ","commitid":"9e5ff4087888e211a2d398ae141784208ca1cb42","committime":"2015-11-13T08:56:29","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20151112."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"05f5802c3cf12c35ca1405a6c27284bfc2b06cee","committime":"2015-11-05T09:02:09","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.24\nSigned-off-by: Alexis Ballier ","commitid":"34f2ff9342d2cc7283e1e192ab041be12675b81e","committime":"2015-11-05T08:49:07","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Bump to 20151103."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8ca4b45d1945f81b4a58fb85bc761c7ac59f71cd","committime":"2015-11-01T10:21:52","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.23","commitid":"969d6f2b561d49c53176671852853a8dff40253a","committime":"2015-11-01T09:23:51","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Bump to 20151030."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2a59a8ef6be9ea921caafd49dcdb165a0dcbabf2","committime":"2015-10-30T10:42:08","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Fixes bug #564310\n\nPackage-Manager: portage-2.2.23","commitid":"909ec352dc0780ce6b2afaf02c484f3b94a32d50","committime":"2015-10-30T10:36:38","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20151026."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"48544b08d961d52f0c23ed5331de4267ddcb52ff","committime":"2015-10-26T12:41:49","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.23","commitid":"f1a45ce55d712906a2af7735dc1eb4c5bca85b77","committime":"2015-10-26T12:21:20","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Bump to 20151023."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d2f09a545b47532877f97e344b889dbc1772c2a2","committime":"2015-10-15T12:07:29","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.23","commitid":"46f98157adda91efd730aaefef20687b4b3f4afe","committime":"2015-10-15T11:49:11","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Remove old."},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.23","commitid":"19cbb39ee4e1d1e8bba60be66e64e96198c76cc0","committime":"2015-10-15T11:48:40","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: Bump to 20151012."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d4d6f5494f2901b0c3ef93182adaf07826ac3971","committime":"2015-10-06T09:02:03","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.22","commitid":"7c5eeb68840bf38cf2de0a7f0fe736b589867ad6","committime":"2015-10-06T08:58:40","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20151005."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ad13f2ab099a9b17d4ce62c32e6d74316f285f27","committime":"2015-09-24T13:41:42","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.21","commitid":"740815bf1c844bd42465e50d0dce1a7519533c21","committime":"2015-09-24T13:33:22","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: version bump."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a9a61c7c611ebbabc0f31d5f8610ca3ca78b57f6","committime":"2015-09-16T10:41:45","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.20.1","commitid":"ae174ffbb5f6edee6619963571312f27b14e4b6a","committime":"2015-09-16T10:32:22","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: bump to 20150914."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c51638198276dfb2d885a6a393a7077431f6a2bf","committime":"2015-08-25T09:06:38","packageid":60329,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.20.1","commitid":"6340c563ecb5e239739d32cce3071c4cc881cbc4","committime":"2015-08-25T08:58:24","packageid":60329,"repoid":1,"summary":"dev-ml\/menhir: remove old."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":60329,"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":60329,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9efbd900d782b507aa3b73d478e2ac62e055d4fd","committime":"2015-07-08T06:36:35","packageid":60329,"repoid":1,"summary":"2015-07-08 06:36:33 UTC"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":60329,"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":[838109,876739],"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":[838109,876739],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"depending":[{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[876928,876928],"firstseen":"2017-10-14T07:25:18.254331","name":"alt-ergo","packageid":68081,"summary":"Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing."},{"block":false,"categoryid":317,"description":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[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":"Library to parse and type-check an extension of the SMT-LIB 2 standard","ebuildids":[734807,734807],"firstseen":"2019-07-26T07:18:04.713000","name":"psmt2-frontend","packageid":69972,"summary":"psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism."},{"block":false,"categoryid":314,"description":"Parser and printer for the opam file syntax","ebuildids":[873896,873896],"firstseen":"2020-10-13T14:25:05.132759","name":"opam-file-format","packageid":72104},{"block":false,"categoryid":314,"description":"OCaml template engine almost compatible with Jinja2","ebuildids":[832533,832533,873847,873847,893182,893182],"firstseen":"2021-01-10T17:35:59.190559","name":"jingoo","packageid":72363},{"block":false,"categoryid":314,"description":"Simple, fast & type safe language that leverages JavaScript and OCaml","ebuildids":[883276,883276,887935,887935],"firstseen":"2021-12-08T02:32:41.804293","name":"reason","packageid":73729,"summary":"Reason provides a new ES6-inspired syntax for OCaml. It's also the umbrella project for a set of tools for the OCaml and JavaScript ecosystems."},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,845202,845202,854230,854230,869907,869907,877153,877153],"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":314,"description":"Static types for JSON APIs","ebuildids":[805243,805243,879342,879342],"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":428,"description":"Program matching and transformation engine","ebuildids":[864964,864964,877090,877090,890767,890767],"firstseen":"2022-10-29T19:33:57.157623","name":"coccinelle","packageid":75575},{"block":false,"categoryid":314,"description":"A support library for verified Coq parsers produced by Menhir","ebuildids":[838108,838108],"firstseen":"2022-12-23T23:06:16.335529","name":"coq-menhirlib","packageid":75710},{"block":false,"categoryid":450,"description":"Embeddable Lambda Prolog Interpreter in OCaml","ebuildids":[861005,861005,861006,861006],"firstseen":"2023-03-15T01:50:00.147852","name":"elpi","packageid":75905,"summary":"ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that are handy to adapt the language to the host application."},{"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."}],"ebuilds":[{"archs":["~amd64","~arm","~arm64","~ppc","~ppc64","~riscv","~x86"],"ebuildid":876739,"firstseen":"2025-09-22T21:35:59.238946","license":"GPL-2 LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:47","packageid":60329,"repoid":1,"slot":"0\/20250912","uses":["ocamlopt"],"version":"20250912"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":838109,"firstseen":"2024-09-13T22:18:43.965122","license":"GPL-2 LGPL-2-with-linking-exception","moddate":"2026-03-29T19:42:47","packageid":60329,"repoid":1,"slot":"0\/20240715","uses":["ocamlopt"],"version":"20240715"}],"masks":[],"package":{"categoryid":314,"description":"LR(1) parser generator for the OCaml language","firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[838109,876739],"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":[838109,876739],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"repos":[{"branch":"master","lastcommit":"82366aa45a35f6900f43023917c2c86ccdbb00a3","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/gallium.inria.fr\/~fpottier\/menhir\/"],"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"}]}