| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| control/ | - | October 18, 2019 |
| grubx64.efi.signed | 784.9 KiB | October 18, 2019 |
| grubx64.efi | 783.0 KiB | October 18, 2019 |
| SHA256SUMS.gpg | 1.5 KiB | October 18, 2019 |
| SHA256SUMS | 320 B | October 18, 2019 |
| version | 14 B | October 18, 2019 |