{"bugs":[{"bugid":559564,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"UNCONFIRMED","summary":"sys-apps\/portage-2.2.20.1: a slot conflict between dev-lang\/ocaml and sci-mathematics\/coq cannot be auto resolved"},{"bugid":814182,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"[stable] sci-mathematics\/coq-8.12.0-r1 - make: [Makefile.make:178: submake] Error 2"},{"bugid":835583,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/coq-8.15.0-r2 - Fatal error: exception Stack overflow"},{"bugid":909329,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/coq-8.17.1 - Error: No rule found for plugins\/ltac2\/ltac2_plugin.cmxs"},{"bugid":913550,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/coq-8.17.1 - Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-pa"},{"bugid":928101,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/coq-8.20.0 installs files that contain a TEXTREL"},{"bugid":931889,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/coq-8.19.1 - make inconsistent assumptions over implementation Unix"},{"bugid":944174,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/coq-8.20.0 - [ncurses-6.5] [meson] [libtool] Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=c"}],"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":"c8b9aa9a54f09c8b57b853a976db9fcd3ef09b21","committime":"2026-03-31T20:00:56","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7926127f1b4078c71dc483c034d90c6b2efa021f","committime":"2026-03-31T19:35:37","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 9.2.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8973f5e1f457e0b090d1aae6979bd62ff1e8c86a","committime":"2026-03-31T19:25:29","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 9.0.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"54283d53384498ab5c99833c56fb3cc3d16e7bbb","committime":"2026-02-17T22:15:58","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7e9cfecc751e364ca22a82c51dae344563e5a051","committime":"2026-02-17T21:12:56","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 9.1.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"42b7c94e7548ad5fb8f247005ea1073d8645e693","committime":"2026-01-05T03:16:00","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"d04f6a5e46701891ee2dade9bffd9ce3a46e71f6","committime":"2026-01-05T02:34:25","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.17.1-r1 amd64, #966461"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db73ec035ad311425312a6aee7dfe1730285068f","committime":"2025-11-07T21:45:46","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"f375364340914b034cae02b8ee1e291d1fc86d6c","committime":"2025-11-07T21:36:17","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 9.1.0-r1 amd64, #965809"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e299bab500c8bca8a553e32df50ead64866a240c","committime":"2025-09-28T15:33:33","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"faa73bdb7a5c2aaa45860a143587fde7925202e1","committime":"2025-09-28T15:06:01","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: update homepage and XML metadata"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/963517\nReported-by: Marko Doko \nSigned-off-by: Maciej Barć ","commitid":"fb02487ba91e15d3172fad74917fadf8041f4cfd","committime":"2025-09-28T15:02:41","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add missing yojson dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1457e472abc5b9dd0765d3ee3873a0139b948a9d","committime":"2025-09-27T22:03:35","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7762938281f0c6384286908889c23c149c78635e","committime":"2025-09-27T14:26:41","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 9.1.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a6ad8aa56ebadfa2090311ddbd730631e07c6d59","committime":"2025-03-28T20:50:17","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"756ab827ab802f4191ff82a6703458fb95ec637e","committime":"2025-03-28T19:53:39","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: fix export in src_configure"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1590ac692de6131ea861dd9602069b32242334f6","committime":"2025-03-16T22:48:36","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"9c153423043c7589bb813cf882a5e5651ff42cd0","committime":"2025-03-16T22:40:21","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Keyword 9.0.0 arm64, #951475"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"37dbdcae477009dd50af8883b26556ad1accdd78","committime":"2025-03-16T21:19:01","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"34c7618e76a7aa90a3f00a1311d105964bf281b9","committime":"2025-03-16T20:43:13","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 9.0.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"be01bdc0b11d38cf8b03f68ebcab7fb4f50c625e","committime":"2025-03-11T21:03:23","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"e3a245194d2f33152c31c672b33ef850c2c7a1e9","committime":"2025-03-11T20:46:08","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: block with ocaml-5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2fba4c12629d4b108c15ad0cc37e607aabd0894f","committime":"2025-02-08T22:03:59","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"0c35f3e1a7611e52b02732d95d2aadabcee0b84f","committime":"2025-02-08T21:51:36","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a965ec468de829e7a8d13baa4f30625402038904","committime":"2025-02-08T21:03:29","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"f58df1c4b0de8f399656227e19c2398204ed5cbf","committime":"2025-02-08T20:42:56","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add 8.17.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1a026a43abb48ab2787f997c6fbb6e214747dbc2","committime":"2024-12-14T12:03:57","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"df94b45caed36337e9e3ff965e9711ee4796b8aa","committime":"2024-12-14T11:48:18","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.20.0 amd64, #946384"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"40265e5b42396dd568af5054f0ffe2209cf3ac0f","committime":"2024-11-19T20:03:21","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"585c3c9caae3a47255532f85d2595f8bf048a5ac","committime":"2024-11-19T19:45:22","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.19.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"57410413de48a599904703447c581661c44c3897","committime":"2024-11-19T19:45:04","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.19.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c4ef0779507c8d3a18bf3b109d7685e6fc218c03","committime":"2024-09-30T20:06:01","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a2f0ae7aea192740e95e60d69b62a8647cb209ab","committime":"2024-09-30T19:34:31","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.19.2 amd64, #940557"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"987f8f8d2a84b737ab6e9229cc4797afba77bed4","committime":"2024-09-09T08:36:13","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/939364\nSigned-off-by: Maciej Barć ","commitid":"80b82bedc919bf48664066e10eb2cf7b16e18d29","committime":"2024-09-09T08:27:31","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: fix SRC_URI"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"193b9d756dd486ff587377107b28e9a7966c7d39","committime":"2024-09-09T00:18:50","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8a7d012aa6b62a229e09a731b172b64ace75a0e0","committime":"2024-09-08T22:56:29","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.20.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5384dc6ed3e7fc640882321e02f694045af10176","committime":"2024-06-10T14:04:30","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"cc52d8257b700044a2900d8c0413607491f4e93a","committime":"2024-06-10T13:25:06","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.19.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"19b29baec7902fe4010f23154700e3318f6aaa83","committime":"2024-05-23T22:18:42","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2ee1e61248295b696ed811bab7ac845e51a25f63","committime":"2024-05-23T21:22:33","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: use edo instead of edob"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"54658f1c9105f4f246be05f1ebba6bd31092b897","committime":"2024-03-04T22:04:02","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"99f10b7021322242e1dc349b89744508bb188786","committime":"2024-03-04T19:52:17","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.19.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b2dc20f5c05947a000ec08c868e6e21e4d4507df","committime":"2024-03-04T18:51:53","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.18.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a985e66299c13c9d5831fa5a6f6a8843941104d5","committime":"2024-03-04T18:51:07","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.17.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5ea206c0a497a084279895a4be90c0f27f807da5","committime":"2024-02-27T23:48:47","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a5623219f472ae664bf0f6e418acf605300ef09b","committime":"2024-02-27T23:42:02","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.19.0 amd64, #925657"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d0ac7de460b8c034f7ea86d283d71930c4a8290a","committime":"2024-01-25T03:33:13","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"892d16ff94306c2b2fc952dce7a63245ff7caba5","committime":"2024-01-25T01:30:58","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.19.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1cd4bf8dd22cf4c70261de2ee2f3581da5965f2d","committime":"2024-01-16T06:03:07","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"matoro_gentoo@matoro.tk","authorname":"Matoro Mahri","body":"Signed-off-by: Matoro Mahri \nSigned-off-by: Viorel Munteanu ","commitid":"3908d93d95c681718dc050c6cf689cc4aed1c463","committime":"2024-01-15T21:55:29","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.18.0 amd64, #915951"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6eff7d5fd6034395035877af49c33b775ae0a8aa","committime":"2023-09-09T18:17:03","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"044d09165da3cf0e143d954b54ffbcba0096716f","committime":"2023-09-09T13:49:01","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.18.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7cb88d7766b20c6b5eadf008b921e1faaa2fa131","committime":"2023-09-09T13:17:48","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.17.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/888964\nCloses: https:\/\/bugs.gentoo.org\/889278\nSigned-off-by: Maciej Barć ","commitid":"2f2d44de2a3172289669f4f28daa46a7d8f76de5","committime":"2023-09-09T13:17:40","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.12.0-r2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e5946a5725880734bd10ca1c434ad94a75f91d31","committime":"2023-08-16T02:31:36","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fcae4e8b3a9681b733938313917dc15afc081cfe","committime":"2023-08-16T02:19:44","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.17.1 amd64, #912296"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"be338de68eb391ac848691644624a499400552f9","committime":"2023-07-17T12:46:49","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b6905ea19c7f35d1d6d34950e9224eaeee2002c7","committime":"2023-07-17T11:29:57","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: remove dead code"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3bb1911b194b46a11dec2ab18c8e2e05ba47dec7","committime":"2023-07-15T22:31:50","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6c76b39ae9d34ac6259580dbf5a9238cb1324aa4","committime":"2023-07-15T21:55:10","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.16.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b67897d63b20e20acd68f43ccd6abeb8417b5b2f","committime":"2023-07-15T21:54:56","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.15.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/910236\nSigned-off-by: Maciej Barć ","commitid":"77b45431c0630096031a3350e5040b7d11ddb559","committime":"2023-07-15T21:51:05","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add pkg_preinst upgrade from 8.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ed9708be5c96bd31043e949b4581458d8ae51dd","committime":"2023-07-11T08:46:40","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"f29b89315d831e43c681015225fce8d6de770328","committime":"2023-07-11T08:43:12","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.17.0 amd64, #907179"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ba7bcf56ffff7ccfd21c908989964f07c5494e60","committime":"2023-06-28T01:16:50","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"212e16dfe414213e4bfdaf268a85446227344445","committime":"2023-06-27T21:56:20","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.17.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/777528\nSigned-off-by: Maciej Barć ","commitid":"e77d8b08a5889e455c72cb69ab83094c56c15cf3","committime":"2023-06-27T21:27:38","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.13.0-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f2979793991144637956e4225ce4d0235900c1a2","committime":"2023-06-09T15:16:56","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"31b057e4937b730746ef90bbc2f2b14b0923eedd","committime":"2023-06-03T14:54:16","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: destabilize for ~x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7e7caab5c18d5d9bbaf93e74c65b2cf1edc28e48","committime":"2023-05-26T20:16:53","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"3ab5a68e7a15b1f6d3fa111fcb4ebcb819665ea9","committime":"2023-05-26T20:05:46","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.17.0 x86, #907179"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"774cb8bfe0b395f8a3bba47070f395712cdb3468","committime":"2023-04-12T16:16:50","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/904186\nSigned-off-by: Maciej Barć ","commitid":"eb472103d1b4496f6c7b72a1f1997d06f4ce7b97","committime":"2023-04-12T15:58:37","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: update bug reference"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e9e69f61801ecdf63f567211f6089b57b700867b","committime":"2023-04-11T20:17:19","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/859877\nSigned-off-by: Maciej Barć ","commitid":"6dc8e8ef6c58cb19fa64d6149e3a7178b7144da9","committime":"2023-04-11T20:02:25","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: disable failing test"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6d742e07bfa722d2fd567f02a2e44185a49df042","committime":"2023-04-11T14:33:51","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"689f37c4d378b6c76483ee343388d4cf7998939c","committime":"2023-04-11T12:49:08","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.16.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/904150\nSigned-off-by: Maciej Barć ","commitid":"06b959b7d64d15a20cd992b288a3fe15c87b5c88","committime":"2023-04-11T12:10:09","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add missing subslots"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/904152\nSigned-off-by: Maciej Barć ","commitid":"dfc3bd6be6a8cbb686cd88297a884ccad1c7d56c","committime":"2023-04-11T12:05:11","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add ounit2 to test deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"59df7486cb30ec87792462ae1aeb009069501222","committime":"2023-04-10T19:01:54","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"388e4b75dbd00fa1d24f16d5f9f9a4c64296d93d","committime":"2023-04-10T17:40:08","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.17.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6f1929fd16eb7c1c9fde644fee75aaec88854aa7","committime":"2023-02-14T05:31:56","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"15d76ea3e49bf90f74df649773167d6ba96c0583","committime":"2023-02-14T05:18:51","packageid":42174,"repoid":1,"summary":"Rename dev-python\/{sphinx_rtd_theme → sphinx-rtd-theme}"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"061ce25f1e249b4b3bbd453d28acc5e99fc49794","committime":"2023-02-14T05:18:51","packageid":42174,"repoid":1,"summary":"Rename dev-python\/{sphinx_rtd_theme → sphinx-rtd-theme}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0c52d4265c0175a53c88765f10d89db7766e26c8","committime":"2022-11-26T15:46:48","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4484dca2878b432c431872060d6616e4e0e78045","committime":"2022-11-26T15:25:27","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.11.2-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e4a323610b01a8969cdbba16e20117dc51aa672e","committime":"2022-11-26T01:11:57","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"This reverts commit 7cfcec3d3f83d53b9da299d770e274f3bbe19754.\n\nSigned-off-by: Maciej Barć ","commitid":"fedfdf671a343cfaebae568ea59fb9147fa3287d","committime":"2022-11-26T00:58:24","packageid":42174,"repoid":1,"summary":"Revert \"sci-mathematics\/coq: drop old 8.11.2-r1\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"53889861904ec50a34ef5962710e1ed70823d50e","committime":"2022-11-26T00:48:46","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7cfcec3d3f83d53b9da299d770e274f3bbe19754","committime":"2022-11-26T00:24:31","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.11.2-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5f92d9dc75cfdf34c9f3e43b608c07273f847c1e","committime":"2022-11-26T00:23:48","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.16.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"523e0db8a02c14731da45153f505198270ab21ba","committime":"2022-09-05T22:16:51","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d9aed99275aad3e0f54f942708b7b722aed19b01","committime":"2022-09-05T21:01:47","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.15.0-r2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"15dd89bc618179bbecdf3bbe17c00bdabc2ad1d4","committime":"2022-09-05T20:59:10","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.15.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0b9906488af2fcba4901e56b417d0c6bb923a089","committime":"2022-09-05T15:58:39","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.16.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c264992d78ed16c7797d77b6a517470ee9ee4f4a","committime":"2022-05-31T17:25:09","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"This reverts commit 9ea25f14ec426e1f253eb819ba5708bca9d7915e.\n\nNeeded by sci-mathematics\/why3-for-spark-2020\n\nSigned-off-by: Maciej Barć ","commitid":"d4963c3c6e31cffedc9c8579f8c1ba7fd2109277","committime":"2022-05-31T16:49:45","packageid":42174,"repoid":1,"summary":"Revert \"sci-mathematics\/coq: drop old 8.11.2-r1\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6f6b389fb4c39b86ae523d532bf164adae4785d0","committime":"2022-05-31T16:42:48","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9ea25f14ec426e1f253eb819ba5708bca9d7915e","committime":"2022-05-31T13:40:03","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop old 8.11.2-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"456d6f1515f0e1c63e88e13462afbf0419573c8f","committime":"2022-05-31T13:38:21","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.15.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88e067ff61636a2254eb7b74274ca82d07b24ce3","committime":"2022-03-22T19:34:11","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"438bd24f31f6c0ce2430478ffa2c90c6c96fc663","committime":"2022-03-22T19:21:10","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.15.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7a615586c0f4d8585ed366e522852f5712bd3c2c","committime":"2022-03-13T13:34:39","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bade0e7faffcb9c962e1b6770f27eff6cabcb4a7","committime":"2022-03-13T13:18:58","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: re-add ~x86 keyword dropped by mistake"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"04a3d72ebb63c5eb94036d9d1889a99dc3a1f180","committime":"2022-02-18T15:21:46","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/833589\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"157d3bc6f5e221bd738592ab82289ad8e081a6ca","committime":"2022-02-18T15:11:19","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: fix doc build - add missing fonts"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1d913ecc9bf64cdac98d7086353510b7cecd57ae","committime":"2022-02-17T23:36:43","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/833534\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"135cf4331777c42201c79b06cbf5fa0b15b2add0","committime":"2022-02-17T23:19:02","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: fix doc build - add xetex dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"63f7c09f68329eaeaba83fa85a199f5455323415","committime":"2022-02-17T14:21:43","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/833529\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"cab94b16f5c8f49f1f11bd9408f8f3210a5e6e99","committime":"2022-02-17T14:11:27","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add missing latexextra dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60f09b6ff902d54d56e279be5e1637f301a3920c","committime":"2022-02-17T13:36:47","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"397b9fbefd699b26d9f8779cfc6a2d322e83365b","committime":"2022-02-17T12:30:34","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: enable doc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4fc23a55b37021096d9c0f47f7265a0c833a580d","committime":"2022-01-28T17:51:37","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"1aec768d3faa6ed552c7704115a5f9b1cd1deab2","committime":"2022-01-28T17:42:17","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.15.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7bd5f7828fb7339b28a60ed102f4c1a8ec107b10","committime":"2021-12-14T12:51:47","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ceamac.paragon@gmail.com","authorname":"Viorel Munteanu","body":"Drop old ebuilds that depend on media-libs\/netpbm[zlib]\nThey have been replaced by ebuilds that depend on media-libs\/netpbm[zlib(+)]\n\nBug: https:\/\/bugs.gentoo.org\/801442\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Viorel Munteanu \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/23211\nSigned-off-by: Joonas Niilola ","commitid":"d35302fc8a415b6c8081e42cc35166b5fb77bcc7","committime":"2021-12-07T18:16:45","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop redundant ebuilds"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c2f80cdbec29ee124f789081050a640bf8cef88b","committime":"2021-12-07T06:36:32","packageid":42174,"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":"44509312ea48e5635a16779600bc7439789a1ab9","committime":"2021-12-07T06:25:44","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: x86 stable wrt bug #827149"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"91bffc81face5f8fd647f8fd29c15b5a97cb7f27","committime":"2021-12-06T07:36:25","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"1ab8dc21c4f7483f93ad212f246fe3419d804ed7","committime":"2021-12-06T07:15:35","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.12.0-r2 amd64, #827149"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"115194c6f7a74b406e350c527b71b6b77c09117f","committime":"2021-07-26T11:22:10","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ceamac.paragon@gmail.com","authorname":"Viorel Munteanu","body":"media-libs\/netpbm is dropping zlib USE flag\nCloses: https:\/\/bugs.gentoo.org\/801442\n\nPackage-Manager: Portage-3.0.20, Repoman-3.0.2\nSigned-off-by: Viorel Munteanu \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/21580\nSigned-off-by: Andrew Ammerlaan ","commitid":"c2d0457fbca7c4e64c9c4caa99708e7586725693","committime":"2021-07-10T07:24:35","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: use a dependency default flag"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a5d023e0c75a936afb856bd9e99cf26f066abd24","committime":"2021-04-06T19:13:46","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/780114\nPackage-Manager: Portage-3.0.13, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"d4d142c374126879495eb125945c2b3d3e233a07","committime":"2021-04-06T18:51:15","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: serialize install"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"41dd4b3a4d95d46d1602a505f80a631ba1c3e80c","committime":"2021-03-12T17:49:48","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop 8.6.1-r1, 8.9.1-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7d9c5f7ea05df6e9467a40fbb9917307af836ed3","committime":"2021-02-11T06:37:36","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cc00d69a53333319193bc2b92987dc6378b8a793","committime":"2021-02-11T06:25:11","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.12.0-r1 x86, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b45b79ab2dc8417903ad6be83bb57ade817739f6","committime":"2021-02-10T19:07:47","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"92ed0655150ea545ae4a769fc4715e54d8b146c5","committime":"2021-02-10T18:51:46","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stabilize 8.12.0-r1 amd64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3d2bd759012f2e7b108376f08b838e77a006eeba","committime":"2021-02-09T19:47:26","packageid":42174,"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":"580c26bc5a350e6cabcf009b0b85ae6cf211bae7","committime":"2021-02-09T17:19:21","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bumping back to 8.11.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"394276918d96145308b9c1cd53d7d24f43a42a2e","committime":"2021-02-08T09:47:27","packageid":42174,"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":"c8426feb5d5baeee68a56069437d65d4b5e8795a","committime":"2021-02-08T08:25:29","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.13.0"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Bug: https:\/\/bugs.gentoo.org\/769317\nPackage-Manager: Portage-3.0.14, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"70c713a0bcc9302c5a9a919a6c4a5a2699e26942","committime":"2021-02-08T07:13:03","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: lower OCaml dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dcdec439559bd3dbf583382cda731faf9ae1e54e","committime":"2021-01-20T13:33:04","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Signed-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"86df1521ba72566f65666cbb95a761ee774386a6","committime":"2021-01-20T10:15:36","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to Anton Kochkov and Sergio Perez for reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/697066\nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"1ebf1913a56ae24bc2c951ac1080f58904f7944a","committime":"2020-10-13T12:30:31","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Bump to 8.12.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7b78d7211833e3f591070dfb36c81c11c322761f","committime":"2020-01-07T21:26:45","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zx2c4@gentoo.org","authorname":"Jason A. Donenfeld","body":"Fixes: https:\/\/bugs.gentoo.org\/704928\nPackage-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Jason A. Donenfeld ","commitid":"a41e99d5d07a2fafd4f7bab90567ed25fe5306d7","committime":"2020-01-07T20:57:56","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: revbump for newer ocaml + num"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2f8ba440aea7a61f52cd0c2bade699270ebd0092","committime":"2019-11-24T01:05:59","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"m.mairkeimberger@gmail.com","authorname":"Michael Mair-Keimberger","body":"Signed-off-by: Michael Mair-Keimberger \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/13706\nSigned-off-by: Aaron Bauman ","commitid":"863a22e55e820cde02b6d8529d355d7094676f28","committime":"2019-11-19T10:46:51","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: fix eclass usage"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4e2980e32663004a9f7df337b83a2770094cb55d","committime":"2019-11-04T14:45:49","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Mikle Kolyada ","commitid":"5dffc8ac72841d4f802ad6a887b33dfa27be0448","committime":"2019-11-04T14:38:22","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: forward keywords again (forgotten)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1a3f2b409d95a1cb449eeb6bb59e42da2282b521","committime":"2019-11-04T12:25:44","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Mikle Kolyada ","commitid":"214de00f968332f07b1f2b04d408ab8c43efaf24","committime":"2019-11-04T12:14:22","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: migrate from dev-tex\/xcolor"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cfe9b17daa452771b6271d958cf3c0cd102125ad","committime":"2019-09-24T10:05:58","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to Han and Anton Kochkov for requesting the bump.\n\nCloses: https:\/\/bugs.gentoo.org\/653864\nCloses: https:\/\/bugs.gentoo.org\/672038\nPackage-Manager: Portage-2.3.76, Repoman-2.3.17\nSigned-off-by: Mark Wright ","commitid":"983a017561dee1f3d28f9e3cc71f40ffdccbec41","committime":"2019-09-24T09:45:23","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Bump to 8.9.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"fa6f98f5563bf79c5a18dc36a445612c65a4c5d6","committime":"2018-04-09T20:03:22","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"Package-Manager: Portage-2.3.28, Repoman-2.3.9","commitid":"352187786b501cc74cffc08ca3ea9bea2bf911ba","committime":"2018-04-09T19:28:31","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Drop obsolete dev-texlive\/texlive-mathextra"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0d446f99c62dfd9fe8c4f24951383454eeaa7c5a","committime":"2017-07-18T17:27:49","packageid":42174,"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":"510d11ec66f3399aad91e58310a40ad96d8a6dee","committime":"2017-07-18T17:13:58","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.6.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b4f309a8aa3065c1297da4d34d38dd5927b74e03","committime":"2017-07-13T22:28:13","packageid":42174,"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":"75f659b0c5cde57481f29d939a90559e59027b60","committime":"2017-07-13T21:20:38","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"56a87be0d00fbd18428770e238bbd67f104cdca7","committime":"2017-07-07T13:32:39","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"7923ee237a28ea83fd87a82a5b8321a52f95571a","committime":"2017-07-07T13:10:02","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: ppc stable wrt bug #619676"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d13e30986030f2cc0fd41b0e9b7815c5b295d802","committime":"2017-07-07T08:44:38","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5fd76af38b69b39e5b8a1a1cf76abedd138e83ec","committime":"2017-07-07T08:14:59","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"36715a707c55bb1955b04f81182bccd67342d16c","committime":"2017-07-07T08:12:31","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: x86 stable wrt bug #619676"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.1\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"ab8e0468ec9dc149c4816e0e9ef854f0190e7390","committime":"2017-07-07T08:05:33","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: amd64 stable wrt bug #619676"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":42174,"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":42174,"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":42174,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"42ec1aeac8580ce0bf3b3d0a1b0516e89afc96e1","committime":"2017-01-23T09:22:09","packageid":42174,"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":"7b808055aa6318019d8b24d676963bb6ad0dfd62","committime":"2017-01-23T09:18:44","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: adjust deps for TeX Live 2016."},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"50e4df3eca96ce158fd0e386259d47645a7a57e6","committime":"2017-01-23T09:04:30","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"59ee7eb0849191ee1b8ce5bfb617e2c773a2719d","committime":"2016-12-19T19:01:53","packageid":42174,"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":"52faa1c8e0ef22306620cbe2d64febb99ebe7d15","committime":"2016-12-19T18:55:22","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: add missing findlib build dep, bug #603126"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"55595168bd45c0b1a8fadff75806137b9b191a8d","committime":"2016-12-19T12:25:15","packageid":42174,"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":"37a8e76548e74a613935f5452c3a1a5eefc35e4b","committime":"2016-12-19T12:05:14","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.6"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"eb9b557718ff13031fe60a7bcce8592670ce76e7","committime":"2016-11-15T09:42:55","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.2","commitid":"09762c0b7aef328edabb50aee2d01cd64d3bded7","committime":"2016-11-15T09:29:49","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.5pl3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"df9df5efb7e80f794c5c9c17ecf1f9e24beb931f","committime":"2016-08-12T11:22:13","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"05a6452be2dc445aa7782f9a219bf74c744f7e84","committime":"2016-08-12T10:25:25","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: drop ocaml 4.03 patch; it is not needed anymore."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ce4dfd1fbde728e520e4cb445111e4b460cc5793","committime":"2016-07-13T13:05:25","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"392e3abc1b00db32c5bad6f3a829c643bf8e4d6f","committime":"2016-07-13T12:55:30","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.5pl2"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c6c74fec87cbbe77edec99bdd6cb4a601eb3dd1c","committime":"2016-06-25T21:41:54","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e86b8dbb3e110a7983319fc57e218f9b62147b80","committime":"2016-06-25T21:21:51","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"monsieurp@gentoo.org","authorname":"Patrice Clement","body":"Package-Manager: portage-2.2.28","commitid":"5a7ad02075ebb4cb74929a1a532279b5f92a009b","committime":"2016-06-25T20:48:45","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Clean up old."},{"authoremail":"monsieurp@gentoo.org","authorname":"Patrice Clement","body":"Package-Manager: portage-2.2.28\nGentoo-Bug: https:\/\/bugs.gentoo.org\/586932","commitid":"553750d950477340ab2f269efecb4a90921c7fe0","committime":"2016-06-25T20:37:09","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"21e13d311cb043302f4a9f0a69c56f1bcf26e2ce","committime":"2016-06-23T11:41:49","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"This reverts commit 84224f26f9c893299a487431e2ee005b1795f01c.\n\nThis commit is wrong in several aspects:\n - Such changes should come with a revbump\n - Removing := deps causes packages not to be rebuilt on upgrades, causing\n barely understandable build failures when upgrading, later on.\n Thanks to this commit, people that have installed those packages will\n likely experience those failures with the upcoming ocaml 4.03 unmask.\n - This is a non maintainer commit where no discussion at all happened with the\n maintainers during the 3 days between bug report and mass commit.\n Such discussion could have prevented the above mentioned breakage.\n\nProper fix is to drop the backward compatibility part of the || () dep. This fix\nwas slowly moving forward whenever possible and noticed. Main blocker for this is\nbug #463018 which requires taking extra care for not breaking the stable tree\nnor needlessly preventing future stabilization of packages.","commitid":"378cd55c4f9b11231d1eadb1d688463b9bceb546","committime":"2016-06-23T08:56:35","packageid":42174,"repoid":1,"summary":"Revert \"sci-mathematics\/coq: Remove := from || dep, #586304\""},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2118273a869695a83ca3e78e8cfafd6129691131","committime":"2016-06-21T20:41:43","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","commitid":"84224f26f9c893299a487431e2ee005b1795f01c","committime":"2016-06-21T20:24:28","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: Remove := from || dep, #586304"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"01ff43773bb9df799181f4c27f4aeab5e0a72243","committime":"2016-05-03T09:23:04","packageid":42174,"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":"7972add23cda61c8a53bb27cd71e1dff60b55070","committime":"2016-05-01T17:42:45","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: fix build with ocaml 4.03"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ffeefcab974b8142758afcfcebb1b7d26ebf70c2","committime":"2016-04-11T06:02:32","packageid":42174,"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":"34d7ae636f2768fcb371f3f404654d67013ef02f","committime":"2016-04-11T05:55:47","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.5pl1"},{"authoremail":"monsieurp@gentoo.org","authorname":"Patrice Clement","commitid":"1bf817f557fdcc9962cad56242f234ad8d59b7cf","committime":"2016-01-23T17:48:29","packageid":42174,"repoid":1,"summary":"Merge remote-tracking branch 'github\/pr\/711'."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9c965bde6bfe1752bb442ee573252b803200d001","committime":"2016-01-23T17:41:50","packageid":42174,"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":"45ad531930a4073deb4e3638ea32c80271ed35b5","committime":"2016-01-23T17:28:28","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: bump to 8.5"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"4eb9c224c0fe254f44076b2f6b89efbc109e62e2","committime":"2015-11-12T12:21:56","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"743908881ab12767b981888fff9c90abac9cb211","committime":"2015-11-12T12:02:02","packageid":42174,"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":"6f0fb37603bd5ee25a44322452ebabf1c551986f","committime":"2015-11-12T12:00:51","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: remove old"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.20.1\nRepoMan-Options: --include-arches=\"ppc\"","commitid":"f0441d3656e1ec8869812329b1e074f6f1831c0a","committime":"2015-11-12T11:43:18","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: ppc stable wrt bug #553322"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"7d70d99c5c30bb1e634f40495c0bf77059f4077e","committime":"2015-11-11T10:46:08","packageid":42174,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.2.20.1\nRepoMan-Options: --include-arches=\"x86\"","commitid":"377000ef6136e6468b75c76b75a4871c9e1979c6","committime":"2015-11-11T10:38:46","packageid":42174,"repoid":1,"summary":"sci-mathematics\/coq: x86 stable wrt bug #553322"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":42174,"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":42174,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"eaef79c7e8241502853a3c01389683f533abd04b","committime":"2015-07-05T22:20:22","packageid":42174,"repoid":1,"summary":"2015-07-05 22:20:21 UTC"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c95ad922269f34fe317a8cde5a2616879a85fd53","committime":"2015-06-27T11:20:31","packageid":42174,"repoid":1,"summary":"2015-06-27 11:20:29 UTC"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":42174,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[877197,890315,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[857163,857164,857165,877197,877197,890315,890315,894029,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[877197,890315,894029],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2020-10-13T14:25:05.132759","name":"lablgtk-sourceview","packageid":72099}],"depending":[{"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":"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":317,"description":"Mathematical Components for the Coq proof assistant","ebuildids":[857711,857711,857711,857711],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-mathcomp","packageid":74528},{"block":false,"categoryid":317,"description":"Serialization library and protocol for interaction with the Coq proof assistant","ebuildids":[837451,837451,837451,837451],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-serapi","packageid":74529,"summary":"SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from\/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality."},{"block":false,"categoryid":314,"description":"A 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":317,"description":"Formalization of floating-point arithmetic for the Coq proof assistant","ebuildids":[854229,854229],"firstseen":"2022-12-24T22:51:22.910451","name":"flocq","packageid":75711,"summary":"Flocq (Floats for Coq) is a formalization of floating-point arithmetic for the Coq proof assistant. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq."},{"block":false,"categoryid":317,"description":"Allows the certificates Gappa generates to be imported by the Coq","ebuildids":[778210,778210,783789,783789],"firstseen":"2022-12-24T22:51:22.910451","name":"gappalib-coq","packageid":75713},{"block":false,"categoryid":317,"description":"Stdlib for the Coq\/Rocq Prover, used to be part of Coq","ebuildids":[878107,878107,890316,890316],"firstseen":"2025-03-16T21:36:59.045185","name":"coq-stdlib","packageid":78227}],"ebuilds":[{"archs":["~amd64","~arm64"],"ebuildid":894029,"firstseen":"2026-03-31T21:17:16.907420","license":"LGPL-2.1","moddate":"2026-03-31T20:17:16","packageid":42174,"repoid":1,"slot":"0\/9.2.0","uses":["debug","gui","native-compiler","ocamlopt","test"],"version":"9.2.0"},{"archs":["~amd64","~arm64"],"ebuildid":890315,"firstseen":"2026-02-17T22:18:31.068672","license":"LGPL-2.1","moddate":"2026-03-29T19:42:48","packageid":42174,"repoid":1,"slot":"0\/9.1.1","uses":["debug","gui","native-compiler","ocamlopt","test"],"version":"9.1.1"},{"archs":["amd64","~arm64"],"ebuildid":877197,"firstseen":"2025-09-28T16:36:31.738828","license":"LGPL-2.1","moddate":"2026-03-29T19:42:48","packageid":42174,"repoid":1,"slot":"0\/9.1.0","uses":["debug","gui","native-compiler","ocamlopt","test"],"version":"9.1.0-r1"},{"archs":["amd64","~arm64","~x86"],"ebuildid":857165,"firstseen":"2025-03-11T21:14:45.503248","license":"LGPL-2.1","moddate":"2026-03-29T19:42:48","packageid":42174,"repoid":1,"slot":"0\/8.20.0","uses":["debug","doc","gui","ocamlopt","test"],"version":"8.20.0-r1"},{"archs":["amd64","~arm64","~x86"],"ebuildid":857164,"firstseen":"2025-03-11T21:14:45.503248","license":"LGPL-2.1","moddate":"2026-03-29T19:42:48","packageid":42174,"repoid":1,"slot":"0\/8.19.2","uses":["debug","doc","gui","ocamlopt","test"],"version":"8.19.2-r1"},{"archs":["amd64","~arm64","~x86"],"ebuildid":857163,"firstseen":"2025-03-11T21:14:45.503248","license":"LGPL-2.1","moddate":"2026-03-29T19:42:48","packageid":42174,"repoid":1,"slot":"0\/8.17.1","uses":["debug","doc","gui","ocamlopt","test"],"version":"8.17.1-r1"}],"masks":[],"package":{"categoryid":317,"description":"Coq\/Rocq is a proof assistant written in O'Caml","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"coq","packageid":42174,"summary":"Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification \"kernel\". Coq is based on a logical framework called \"Calculus of Inductive Constructions\" extended by a modular development system for theories."},"rdependencies":[{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[877197,890315,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[857163,857164,857165,877197,877197,890315,890315,894029,894029],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[877197,890315,894029],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[857163,857164,857165,877197,890315,894029],"firstseen":"2020-10-13T14:25:05.132759","name":"lablgtk-sourceview","packageid":72099}],"repos":[{"branch":"master","lastcommit":"43a4988e0fa15f038220ebd74aa888ace0c9b303","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/rocq-prover\/rocq\/","https:\/\/rocq-prover.org"],"uses":[{"description":"Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https:\/\/wiki.gentoo.org\/wiki\/Project:Quality_Assurance\/Backtraces","isdefault":false,"use":"debug"},{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Enable support for a graphical user interface","isdefault":false,"use":"gui"},{"description":"Enable \"native_compute\" and compile the Coq Standard Library","isdefault":false,"packageid":42174,"use":"native-compiler"},{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}