|
arch
|
Update Arch kernel to v6.4.2
|
2023-07-08 00:40:08 +02:00 |
|
debian
|
Update Debian-specific patches
|
2023-07-08 00:52:22 +02:00 |
|
fedora
|
Update Fedora kernel to v6.3.12
|
2023-07-08 00:42:34 +02:00 |
|
keys
|
Update the GPG and secureboot keys
|
2020-01-20 22:22:32 +01:00 |
