grub-efi: Update GCC tarball info

This commit is contained in:
Xi Ruoyao 2023-05-07 10:17:43 +08:00
parent d8255e5f60
commit cecc62c4db
No known key found for this signature in database
GPG Key ID: ACAAD20E19E710E3

View File

@ -16,8 +16,8 @@
<!ENTITY unifont-size "1.4 MB">
<!ENTITY gcc-download-http "&gnu-http;/gcc/gcc-&gcc-version;/gcc-&gcc-version;.tar.xz">
<!ENTITY gcc-md5sum "73bafd0af874439dcdb9fc063b6fb069">
<!ENTITY gcc-size "81 MB">
<!ENTITY gcc-md5sum "43e4de77f2218c83ca675257ea1af9ef">
<!ENTITY gcc-size "84 MB">
]>
<sect1 id="grub-efi" xreflabel="GRUB-&grub-version; for EFI">