summaryrefslogtreecommitdiff
path: root/profiles/package.mask
diff options
context:
space:
mode:
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask16
1 files changed, 0 insertions, 16 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index a8b8c345e885..edc1a358b43e 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -282,22 +282,6 @@ media-plugins/gst-plugins-kate
# Removal on 2025-03-03 unless upstream fixes the issue
net-im/whatsie
-# Maciej Barć <xgqt@gentoo.org> (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ć <xgqt@gentoo.org> (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
-# .NET 6.0-9.0 ASP.NET instead.
-# Removal on 2025-02-02
-acct-group/aspnet
-acct-user/aspnet
-www-servers/xsp
-
# Nowa Ammerlaan <nowa@gentoo.org> (2025-01-01)
# Broken with Qt6 and in wayland sessions. Archived upstream. Has been on life
# support for several years already.