diff options
author | Eli Schwartz <eschwartz93@gmail.com> | 2024-02-29 23:21:34 -0500 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2024-03-01 04:50:23 +0000 |
commit | 2588694ab405ba0f0952278d56e7006bdcc2e512 (patch) | |
tree | b86f1384c93653d36c771212c5bdd19e35cd45a9 /profiles | |
parent | dev-ml/zarith: drop old (diff) | |
download | gentoo-2588694ab405ba0f0952278d56e7006bdcc2e512.tar.gz gentoo-2588694ab405ba0f0952278d56e7006bdcc2e512.tar.bz2 gentoo-2588694ab405ba0f0952278d56e7006bdcc2e512.zip |
package.mask: Last rite sci-libs/mpir
Bug: https://bugs.gentoo.org/812950
Bug: https://bugs.gentoo.org/815685
Bug: https://bugs.gentoo.org/874537
Bug: https://bugs.gentoo.org/903157
Bug: https://bugs.gentoo.org/925308
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 513b0981a01b..63c050ae636e 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,14 @@ #--- END OF EXAMPLES --- +# Eli Schwartz <eschwartz93@gmail.com> (2024-02-29) +# Ancient fork of gmp from 2017. Various build issues, fails tests. All +# reverse dependencies turned out to be incorrect or preferred gmp +# anyways. No path forward to keeping it buildable, no use case for +# keeping it around. Bug #812950, #874537, #925308 +# Removal on 2024-03-31. +sci-libs/mpir + # Michał Górny <mgorny@gentoo.org> (2024-02-29) # Breaks xfce-base/xfdesktop (both 4.19.0 and masked 4.19.1). # https://gitlab.xfce.org/xfce/xfdesktop/-/issues/282 |