/debian/pool/main/o/optee-os/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
optee-os_4.3.0.orig.tar.gz4.2 MiB2024-Jul-19 15:02
optee-os_4.3.0-1_arm64.deb287.4 KiB2024-Jul-19 15:44
optee-os_4.3.0-1.dsc1.9 KiB2024-Jul-19 15:02
optee-os_4.3.0-1.debian.tar.xz8.6 KiB2024-Jul-19 15:02
optee-os-dev_4.3.0-1_arm64.deb718.6 KiB2024-Jul-19 15:44