nixpkgs/pkgs/tools/misc/grub
Benjamin Hipple 4e7c822dc6 grub: fetch from HTTPS instead of FTP; update meta (#48137)
HTTPS is unlikely to be worse and is often better than FTP. Aside from being
faster, there are many networking setups where outgoing FTP traffic is blocked.
2018-10-10 22:25:14 +02:00
..
pvgrub_image
2.0x.nix
buggybios.patch
default.nix grub: fetch from HTTPS instead of FTP; update meta (#48137) 2018-10-10 22:25:14 +02:00
fix-bash-completion.patch
grub1.patches.nix grub: grub-0.97-patch-1.15 -> grub-0.97-73 2018-09-17 09:31:36 -04:00
grub1.patches.sh grub: grub-0.97-patch-1.15 -> grub-0.97-73 2018-09-17 09:31:36 -04:00
symlink.patch
trusted.nix