diff options
author | Michał Górny <mgorny@gentoo.org> | 2023-10-15 18:03:59 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2023-10-15 18:04:59 +0200 |
commit | c49c810f726c5ea3a9fa55473fce9ee63be691f7 (patch) | |
tree | 2976039479c114a503dc29760ebd1925f1f7cabf /profiles | |
parent | dev-python/notebook: Remove old (diff) | |
download | gentoo-c49c810f726c5ea3a9fa55473fce9ee63be691f7.tar.gz gentoo-c49c810f726c5ea3a9fa55473fce9ee63be691f7.tar.bz2 gentoo-c49c810f726c5ea3a9fa55473fce9ee63be691f7.zip |
package.mask: Last rite old dev-python/{jupyterlab,notebook} revdeps
Bug: https://bugs.gentoo.org/915824
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 9de80b7aa1f1..7ab64a3915b2 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,18 @@ #--- END OF EXAMPLES --- +# Michał Górny <mgorny@gentoo.org> (2023-10-15) +# These packages were required by old version of dev-python/jupyterlab +# and dev-python/notebook, and are no longer used. +# Removal on 2023-11-14. Bug #915824. +dev-python/check-manifest +dev-python/jupyter-server-fileid +dev-python/jupyter-server-ydoc +dev-python/jupyter-ydoc +dev-python/nbclassic +dev-python/y-py +dev-python/ypy-websocket + # Mart Raudsepp <leio@gentoo.org> (2023-10-14) # The database used by this music fingerprint library has been defunct for # a while. Removal on 2023-11-13. Bug #915190. |