| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/coq: bump to 8.18.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-09-09 | 2 | -0/+113 |
* | sci-mathematics/coq: drop old 8.17.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-09-09 | 2 | -113/+0 |
* | sci-mathematics/coq: drop old 8.12.0-r2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-09-09 | 2 | -91/+0 |
* | sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-08-16 | 1 | -1/+1 |
* | sci-mathematics/coq: remove dead code | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-07-17 | 2 | -18/+0 |
* | sci-mathematics/coq: drop old 8.16.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-07-16 | 2 | -121/+0 |
* | sci-mathematics/coq: drop old 8.15.2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-07-16 | 2 | -121/+0 |
* | sci-mathematics/coq: add pkg_preinst upgrade from 8.12 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-07-16 | 4 | -0/+36 |
* | sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179 | ![](//www.gravatar.com/avatar/d5972a8e23045ac76b1639bd3bb50f5c?s=13&d=retro) Jakov Smolić | 2023-07-11 | 1 | -1/+1 |
* | sci-mathematics/coq: bump to 8.17.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-28 | 2 | -0/+113 |
* | sci-mathematics/coq: drop old 8.13.0-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-28 | 2 | -89/+0 |
* | sci-mathematics/coq: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/coq: Stabilize 8.17.0 x86, #907179 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-05-26 | 1 | -1/+1 |
* | sci-mathematics/coq: update bug reference | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-04-12 | 1 | -1/+1 |
* | sci-mathematics/coq: disable failing test | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-04-11 | 1 | -0/+7 |
* | sci-mathematics/coq: drop old 8.16.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-04-11 | 2 | -112/+0 |
* | sci-mathematics/coq: add missing subslots | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-04-11 | 5 | -7/+7 |
* | sci-mathematics/coq: add ounit2 to test deps | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-04-11 | 1 | -1/+3 |
* | sci-mathematics/coq: bump to 8.17.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-04-10 | 2 | -0/+104 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-02-14 | 3 | -3/+3 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-02-14 | 3 | -3/+3 |
* | sci-mathematics/coq: drop old 8.11.2-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-11-26 | 2 | -91/+0 |
* | Revert "sci-mathematics/coq: drop old 8.11.2-r1" | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-11-26 | 2 | -0/+91 |
* | sci-mathematics/coq: drop old 8.11.2-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-11-26 | 2 | -91/+0 |
* | sci-mathematics/coq: bump to 8.16.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-11-26 | 2 | -0/+112 |
* | sci-mathematics/coq: drop old 8.15.0-r2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-09-06 | 2 | -112/+0 |
* | sci-mathematics/coq: drop old 8.15.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-09-06 | 2 | -112/+0 |
* | sci-mathematics/coq: bump to 8.16.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-09-06 | 2 | -0/+112 |
* | Revert "sci-mathematics/coq: drop old 8.11.2-r1" | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-05-31 | 2 | -0/+91 |
* | sci-mathematics/coq: drop old 8.11.2-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-05-31 | 2 | -91/+0 |
* | sci-mathematics/coq: bump to 8.15.2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-05-31 | 2 | -0/+112 |
* | sci-mathematics/coq: bump to 8.15.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-03-22 | 2 | -0/+112 |
* | sci-mathematics/coq: re-add ~x86 keyword dropped by mistake | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-03-13 | 1 | -1/+1 |
* | sci-mathematics/coq: update metadata | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-02-27 | 1 | -1/+3 |
* | sci-mathematics/coq: fix doc build - add missing fonts | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-02-18 | 1 | -0/+2 |
* | sci-mathematics/coq: fix doc build - add xetex dep | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-02-18 | 1 | -0/+1 |
* | sci-mathematics/coq: add missing latexextra dep | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-02-17 | 1 | -0/+1 |
* | sci-mathematics/coq: enable doc | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-02-17 | 1 | -16/+17 |
* | sci-mathematics/coq: bump to 8.15.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2022-01-28 | 2 | -0/+107 |
* | sci-mathematics/coq: drop redundant ebuilds | ![](//www.gravatar.com/avatar/40dff1d7db332c221133b0d8d33a8290?s=13&d=retro) Viorel Munteanu | 2021-12-14 | 3 | -268/+0 |
* | sci-mathematics/coq: x86 stable wrt bug #827149 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-12-07 | 1 | -1/+1 |
* | sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149 | ![](//www.gravatar.com/avatar/d5972a8e23045ac76b1639bd3bb50f5c?s=13&d=retro) Jakov Smolić | 2021-12-06 | 1 | -1/+1 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | sci-mathematics/coq: use a dependency default flag | ![](//www.gravatar.com/avatar/40dff1d7db332c221133b0d8d33a8290?s=13&d=retro) Viorel Munteanu | 2021-07-26 | 3 | -0/+268 |
* | sci-mathematics/coq: serialize install | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-04-06 | 2 | -2/+2 |
* | sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-03-13 | 4 | -182/+0 |
* | sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-11 | 1 | -1/+1 |
* | sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-10 | 1 | -1/+1 |
* | sci-mathematics/coq: bumping back to 8.11.2 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-02-09 | 2 | -0/+91 |
* | sci-mathematics/coq: bump to 8.13.0 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-08 | 2 | -0/+89 |