Paquet virtuel : libteec1

Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.

Paquets fournissant libteec1

libteec1-s32

normal world user space client APIs for OP-TEE