summaryrefslogtreecommitdiff
path: root/profiles/package.mask
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2025-02-02 22:43:17 +0000
committerV3n3RiX <venerix@koprulu.sector>2025-02-02 22:43:17 +0000
commit44f7bdd4803ecacf7943d21fdf2531eb2ea9aeff (patch)
tree4710102399c8e8f01d716ea1139c8fd2db449d7d /profiles/package.mask
parent417ef5d7c7bd36af15766ab14554600fbe7daed7 (diff)
gentoo auto-resync : 02:02:2025 - 22:43:16
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.