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

reewide: Purge all uses stdenv.system and top-level system

2018-08-30 17:20:32 -04:00

2.0x.nix

reewide: Purge all uses stdenv.system and top-level system

2018-08-30 17:20:32 -04:00

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

reewide: Purge all uses stdenv.system and top-level system

2018-08-30 17:20:32 -04:00