arch
|
pkg: arch: Bump release
|
2023-07-22 17:40:11 +02:00 |
debian
|
Update Debian-specific patches
|
2023-07-08 00:52:22 +02:00 |
fedora
|
pkg: fedora: Fix Fedora build
|
2023-07-22 20:16:53 +02:00 |
keys
|
Update the GPG and secureboot keys
|
2020-01-20 22:22:32 +01:00 |