From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <gentoo-commits+bounces-1430666-garchives=archives.gentoo.org@lists.gentoo.org> Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id C8EF7158095 for <garchives@archives.gentoo.org>; Fri, 26 Aug 2022 10:46:57 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 07B50E08FA; Fri, 26 Aug 2022 10:46:57 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (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 pigeon.gentoo.org (Postfix) with ESMTPS id E557AE08FA for <gentoo-commits@lists.gentoo.org>; Fri, 26 Aug 2022 10:46:56 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (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 0F2BC33BE34 for <gentoo-commits@lists.gentoo.org>; Fri, 26 Aug 2022 10:46:56 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 775995A2 for <gentoo-commits@lists.gentoo.org>; Fri, 26 Aug 2022 10:46:53 +0000 (UTC) From: "Sam James" <sam@gentoo.org> To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sam James" <sam@gentoo.org> Message-ID: <1661510788.4a9afda7605ad144df0c1d23e966fdc8aeec1e34.sam@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/cvc4/metadata.xml X-VCS-Directories: sci-mathematics/cvc4/ X-VCS-Committer: sam X-VCS-Committer-Name: Sam James X-VCS-Revision: 4a9afda7605ad144df0c1d23e966fdc8aeec1e34 X-VCS-Branch: master Date: Fri, 26 Aug 2022 10:46:53 +0000 (UTC) Precedence: bulk List-Post: <mailto:gentoo-commits@lists.gentoo.org> List-Help: <mailto:gentoo-commits+help@lists.gentoo.org> List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org> List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org> List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org> X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: e0084e4c-01b6-4d27-8a66-f889eee80abd X-Archives-Hash: 9bc9ded0992926ae4c2a9edfbe7a55a4 commit: 4a9afda7605ad144df0c1d23e966fdc8aeec1e34 Author: Petr Vaněk <arkamar <AT> atlas <DOT> cz> AuthorDate: Thu Aug 25 21:41:00 2022 +0000 Commit: Sam James <sam <AT> gentoo <DOT> org> CommitDate: Fri Aug 26 10:46:28 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a9afda7 sci-mathematics/cvc4: use <pkg> tag in metadata.xml Signed-off-by: Petr Vaněk <arkamar <AT> atlas.cz> Signed-off-by: Sam James <sam <AT> gentoo.org> sci-mathematics/cvc4/metadata.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index 42b2bfab2e1a..685032332723 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -6,7 +6,7 @@ <name>Tupone Alfredo</name> </maintainer> <use> - <flag name="cln">Use sci-libs/cln</flag> + <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag> <flag name="statistics">Include statistics</flag> <flag name="replay">Turn on the replay feature</flag> <flag name="proofs">Support for proof generation</flag>