optee-os_4.10.0-2.debian.tar.xz
optee-os_4.10.0-2.dsc
optee-os_4.10.0.orig.tar.gz