commit: ed0c3721aa1ee0891a4e7b5a6d4b322357935dcf Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Jan 2 21:22:47 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Jan 2 21:48:49 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed0c3721
profiles/package.mask: mask lean 3 and mathlib-tools Deprecated LEAN 3 packages. The "mathlib-tools" repo is archived (https://github.com/leanprover-community/mathlib-tools). Migrate to LEAN 4. Removal on 2025-02-02 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> profiles/package.mask | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 4c3c68ad5cf5..912e1f6f6ce9 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,13 @@ #--- END OF EXAMPLES --- +# Maciej Barć <[email protected]> (2025-01-02) +# Deprecated LEAN 3 packages. The "mathlib-tools" repo is archived +# (https://github.com/leanprover-community/mathlib-tools). Migrate to LEAN 4. +# Removal on 2025-02-02 +sci-mathematics/lean:0/3 +sci-mathematics/mathlib-tools + # Maciej Barć <[email protected]> (2025-01-02) # Upstream dead, repo archived (https://github.com/mono/xsp). Uses deprecated # "dotnet" eclass. Depends on old mono. As a replacement one can use official
