From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 09 06:18:17 2018 Received: (at 31442) by debbugs.gnu.org; 9 Jun 2018 10:18:17 +0000 Received: from localhost ([127.0.0.1]:40343 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fRawr-0006aD-3h for submit@debbugs.gnu.org; Sat, 09 Jun 2018 06:18:17 -0400 Received: from eggs.gnu.org ([208.118.235.92]:38987) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fRawp-0006a0-3V for 31442@debbugs.gnu.org; Sat, 09 Jun 2018 06:18:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fRawi-0007pK-Vk for 31442@debbugs.gnu.org; Sat, 09 Jun 2018 06:18:09 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:45543) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRawi-0007p2-SM for 31442@debbugs.gnu.org; Sat, 09 Jun 2018 06:18:08 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=47936 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fRawh-0005BJ-Nm for 31442@debbugs.gnu.org; Sat, 09 Jun 2018 06:18:08 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: 31442@debbugs.gnu.org Subject: Re: [bug#31442] [PATCH 0/5] 'guix health': a tool to report vulnerable packages References: <20180513202525.4010-1-ludo@gnu.org> Date: Sat, 09 Jun 2018 12:18:06 +0200 In-Reply-To: <20180513202525.4010-1-ludo@gnu.org> ("Ludovic \=\?utf-8\?Q\?Cour\?\= \=\?utf-8\?Q\?t\=C3\=A8s\=22's\?\= message of "Sun, 13 May 2018 22:25:25 +0200") Message-ID: <87po10gt5t.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31442 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hello, Ludovic Court=C3=A8s skribis: > profiles: Add '%current-profile', 'user-friendly-profile', & co. > packages: Add 'package-patched-vulnerabilities'. > profiles: Add 'properties' field to manifest entries. > profiles: Record fixed vulnerabilities as properties of entries. > DRAFT Add 'guix health'. I=E2=80=99ve just pushed the first three patches and the new =E2=80=98guix = pull=E2=80=99 uses properties already. Ludo=E2=80=99.