From c5b303c57fcc1082b28a65528893202c252b0b63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sun, 20 Dec 2015 22:19:05 +0100
Subject: [PATCH] lint: The CPE name of GRUB is "grub2".

Reported by Leo Famulari.

* guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
---
 guix/scripts/lint.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm
index 338c7e827d..f296f8a00e 100644
--- a/guix/scripts/lint.scm
+++ b/guix/scripts/lint.scm
@@ -587,6 +587,7 @@ be determined."
 Common Platform Enumeration (CPE) name."
   (match name
     ("icecat"   "firefox")                        ;or "firefox_esr"
+    ("grub"     "grub2")
     ;; TODO: Add more.
     (_          name)))