diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-20 22:19:05 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-20 22:34:22 +0100 |
| commit | c5b303c57fcc1082b28a65528893202c252b0b63 (patch) | |
| tree | 011bf3bc8f29bfd9379a3c75b8ac9782d435e360 /gnu/packages | |
| parent | 724a7d9c7416b53da5ab3d522bf6d7d3ffa3cc5e (diff) | |
| download | guix-c5b303c57fcc1082b28a65528893202c252b0b63.tar.gz | |
lint: The CPE name of GRUB is "grub2".
Reported by Leo Famulari. * guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions