Virtueel pakket: libteec1

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libteec1 bieden:

libteec1-s32

normal world user space client APIs for OP-TEE