| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/coq: drop old 8.13.0-r1 |   Maciej Barć | 2023-06-28 | 1 | -88/+0 |
| | | | | | | Closes: https://bugs.gentoo.org/777528 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: add missing subslots | Maciej Barć | 2023-04-11 | 1 | -2/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/904150 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: use a dependency default flag |   Viorel Munteanu | 2021-07-26 | 1 | -0/+88 |
| media-libs/netpbm is dropping zlib USE flag Closes: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21580 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | |||||
GitWeb