diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-05-23 14:55:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-05-23 15:02:26 +0200 |
| commit | bc73a84398fa54b0a11a80c749bf78eb0a58dbe6 (patch) | |
| tree | 3e7b6670989ceb4f31464bad632c0332121d96a0 /gnu/packages/grub.scm | |
| parent | 12b6f6527e49c8c4191929a72b1692dbd9eb2440 (diff) | |
| parent | 624d4e2e6ba402c374a340869306eec65a808a20 (diff) | |
| download | guix-bc73a84398fa54b0a11a80c749bf78eb0a58dbe6.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/grub.scm')
| -rw-r--r-- | gnu/packages/grub.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm index 5fc7ee8386..ec2feebbf4 100644 --- a/gnu/packages/grub.scm +++ b/gnu/packages/grub.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2015 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2015 Leo Famulari <leo@famulari.name> ;;; @@ -132,4 +132,5 @@ then goes on to load the rest of the operating system. As a multiboot bootloader, GRUB handles the presence of multiple operating systems installed on the same computer; upon booting the computer, the user is presented with a menu to select one of the installed operating systems.") - (license gpl3+))) + (license gpl3+) + (properties '((cpe-name . "grub2"))))) |