debian/4.8.0-1

Dylan Aïssi

@daissi

fbc7b220 · Release optee-os version 4.8.0-1 · Jan 14, 2026

optee-os Debian release 4.8.0-1