summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-09-08 20:38:25 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-09-08 20:40:58 +0200
commit7286759e001a17c692d0406ef44124f433862b15 (patch)
tree97b52104624a449c28071290bbd0557f9e310b2f /profiles
parentdev-db/unixODBC: drop 2.3.11 (diff)
downloadgentoo-7286759e001a17c692d0406ef44124f433862b15.tar.gz
gentoo-7286759e001a17c692d0406ef44124f433862b15.tar.bz2
gentoo-7286759e001a17c692d0406ef44124f433862b15.zip
profiles: last rite for dev-ml/stdune and friends
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask8
1 files changed, 8 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 3ed140cf9506..7f5f7b4d779e 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -33,6 +33,14 @@
#--- END OF EXAMPLES ---
+# Alfredo Tupone <tupone@gentoo.org> (2024-06-09)
+# These packages are no more needed. Use dev-ml/dune-private-libs
+# that include these
+# remove on 2024-10-08. Bug #939339
+dev-ml/stdune
+dev-ml/ordering
+dev-ml/dyn
+
# Michał Górny <mgorny@gentoo.org> (2024-09-08)
# Does not build anymore. No upstream activity since 2021.
# Removal on 2024-10-08. Bug #932532.