diff options
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 374a5fca29db..6bf56fc94193 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -40,7 +40,8 @@ kde-misc/gmail-feed # Florian Schmaus <flow@gentoo.org> (2024-03-01) -# TexLive 2023 mask +# TexLive 2023 is currently masked for testing. +# Please report bugs via https://bugs.gentoo.org >=app-text/dvipsk-2023.03.11_p66203 >=app-text/dvisvgm-3.2 >=app-text/ps2pkm-1.8_p20230311 |