From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id CDAB01580EB for ; Sun, 25 May 2025 16:45:52 +0000 (UTC) Received: from lists.gentoo.org (bobolink.gentoo.org [140.211.166.189]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) (Authenticated sender: relay-lists.gentoo.org@gentoo.org) by smtp.gentoo.org (Postfix) with ESMTPSA id B30D4343010 for ; Sun, 25 May 2025 16:45:52 +0000 (UTC) Received: from bobolink.gentoo.org (localhost [127.0.0.1]) by bobolink.gentoo.org (Postfix) with ESMTP id A5741110276; Sun, 25 May 2025 16:45:51 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by bobolink.gentoo.org (Postfix) with ESMTPS id 983E6110276 for ; Sun, 25 May 2025 16:45:51 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 4CEEB343008 for ; Sun, 25 May 2025 16:45:51 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 78DD9289A for ; Sun, 25 May 2025 16:45:49 +0000 (UTC) From: "Ulrich Müller" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Ulrich Müller" Message-ID: <1747463531.5950e2a81794f54b7487e71fe98636b051e91c39.ulm@gentoo> Subject: [gentoo-commits] proj/pms:master commit in: / X-VCS-Repository: proj/pms X-VCS-Files: profiles.tex X-VCS-Directories: / X-VCS-Committer: ulm X-VCS-Committer-Name: Ulrich Müller X-VCS-Revision: 5950e2a81794f54b7487e71fe98636b051e91c39 X-VCS-Branch: master Date: Sun, 25 May 2025 16:45:49 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: aeb2c60e-470f-4f93-b42a-214f307fe092 X-Archives-Hash: c537bc8b8c1d5e72dd830d42e2854497 commit: 5950e2a81794f54b7487e71fe98636b051e91c39 Author: Ulrich Müller gentoo org> AuthorDate: Sat May 17 06:32:11 2025 +0000 Commit: Ulrich Müller gentoo org> CommitDate: Sat May 17 06:32:11 2025 +0000 URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=5950e2a8 profiles.tex: Clarify wording for stable restrictions Signed-off-by: Ulrich Müller gentoo.org> profiles.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/profiles.tex b/profiles.tex index a03df2e..266ac27 100644 --- a/profiles.tex +++ b/profiles.tex @@ -221,9 +221,9 @@ described in algorithm~\ref{alg:use-masking}. \end{algorithm} Stable restrictions (``stable keyword in use'' in algorithm~\ref{alg:use-masking}) are applied -exactly if replacing in \t{KEYWORDS} all stable keywords by the corresponding tilde prefixed -keywords (see section~\ref{sec:keywords}) would result in the package installation being -prevented due to the \t{KEYWORDS} setting. +exactly when the following condition holds: If every stable keyword in \t{KEYWORDS} were replaced +with its tilde-prefixed counterpart (see section~\ref{sec:keywords}), then the resulting +\t{KEYWORDS} setting would prevent installation of the package. The logic for \t{use.force}, \t{use.stable.force}, \t{package.use.force}, and \t{package.use.\allowbreak stable.force} is identical. If a flag is both masked and forced, the From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 63A5B1580EB for ; Sun, 25 May 2025 16:46:53 +0000 (UTC) Received: from lists.gentoo.org (bobolink.gentoo.org [140.211.166.189]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) (Authenticated sender: relay-lists.gentoo.org@gentoo.org) by smtp.gentoo.org (Postfix) with ESMTPSA id 4E1BF3430DC for ; Sun, 25 May 2025 16:46:53 +0000 (UTC) Received: from bobolink.gentoo.org (localhost [127.0.0.1]) by bobolink.gentoo.org (Postfix) with ESMTP id 79A29110287; Sun, 25 May 2025 16:46:50 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by bobolink.gentoo.org (Postfix) with ESMTPS id 6ED49110287 for ; Sun, 25 May 2025 16:46:50 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 291E534300E for ; Sun, 25 May 2025 16:46:50 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id BC3CF289B for ; Sun, 25 May 2025 16:46:48 +0000 (UTC) From: "Ulrich Müller" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Ulrich Müller" Message-ID: <1747463531.5950e2a81794f54b7487e71fe98636b051e91c39.ulm@gentoo> Subject: [gentoo-commits] proj/pms:eapi-9 commit in: / X-VCS-Repository: proj/pms X-VCS-Files: profiles.tex X-VCS-Directories: / X-VCS-Committer: ulm X-VCS-Committer-Name: Ulrich Müller X-VCS-Revision: 5950e2a81794f54b7487e71fe98636b051e91c39 X-VCS-Branch: eapi-9 Date: Sun, 25 May 2025 16:46:48 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 9cb598c1-536c-49b0-86dd-1cf6106df927 X-Archives-Hash: e535bf3874b8a8dc0c6db2db80c233f5 Message-ID: <20250525164648.uKZP1fSkwxYjPLv05ogBAcmAW-6Xe_jMExksXCcPCyc@z> commit: 5950e2a81794f54b7487e71fe98636b051e91c39 Author: Ulrich Müller gentoo org> AuthorDate: Sat May 17 06:32:11 2025 +0000 Commit: Ulrich Müller gentoo org> CommitDate: Sat May 17 06:32:11 2025 +0000 URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=5950e2a8 profiles.tex: Clarify wording for stable restrictions Signed-off-by: Ulrich Müller gentoo.org> profiles.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/profiles.tex b/profiles.tex index a03df2e..266ac27 100644 --- a/profiles.tex +++ b/profiles.tex @@ -221,9 +221,9 @@ described in algorithm~\ref{alg:use-masking}. \end{algorithm} Stable restrictions (``stable keyword in use'' in algorithm~\ref{alg:use-masking}) are applied -exactly if replacing in \t{KEYWORDS} all stable keywords by the corresponding tilde prefixed -keywords (see section~\ref{sec:keywords}) would result in the package installation being -prevented due to the \t{KEYWORDS} setting. +exactly when the following condition holds: If every stable keyword in \t{KEYWORDS} were replaced +with its tilde-prefixed counterpart (see section~\ref{sec:keywords}), then the resulting +\t{KEYWORDS} setting would prevent installation of the package. The logic for \t{use.force}, \t{use.stable.force}, \t{package.use.force}, and \t{package.use.\allowbreak stable.force} is identical. If a flag is both masked and forced, the