Subject: Re: [bug#31442] [PATCH 0/5] 'guix health': a tool to report vulnerable packages

From: [email-masked] (Ludovic Courtès)
Date: Sat, 09 Jun 2018 12:18:06 +0200

Hello,

Ludovic Courtès <[email-masked]> 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’.