| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| control/ | - | 2017-Oct-24 23:29 |
| SHA256SUMS | 320 | 2017-Oct-24 23:29 |
| SHA256SUMS.gpg | 819 | 2017-Oct-24 23:29 |
| grubx64.efi | 801792 | 2017-Oct-24 23:29 |
| grubx64.efi.signed | 803704 | 2017-Oct-24 23:29 |
| version | 14 | 2017-Oct-24 23:29 |