|
arch
|
Update Arch kernel to v5.19.13
|
2022-10-04 22:04:25 +02:00 |
|
debian
|
pkg/debian: Update Debian specific patches
|
2022-09-22 04:13:36 +02:00 |
|
fedora
|
Add support for Fedora 37
|
2022-10-14 15:41:18 +02:00 |
|
keys
|
Update the GPG and secureboot keys
|
2020-01-20 22:22:32 +01:00 |
