Virtual Package: libteec1

This is a virtual package. See the Debian policy for a definition of virtual packages.

Packages providing libteec1

libteec1-s32

normal world user space client APIs for OP-TEE