GNU bug report logs - #31442
[PATCH 0/5] 'guix health': a tool to report vulnerable packages

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: 31442 <at> debbugs.gnu.org
Subject: [bug#31442] [PATCH 0/5] 'guix health': a tool to report vulnerable packages
Date: Sat, 09 Jun 2018 12:18:06 +0200

Hello,

Ludovic Courtès <ludo <at> gnu.org> 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’ve just pushed the first three patches and the new ‘guix pull’ uses
properties already.

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.