Index of /ubuntu/pool/universe/o/optee-os
Name
Last modified
Size
Description
Parent Directory
-
optee-os_4.2.0.orig.tar.gz
2024-05-03 03:50
3.8M
optee-os_4.2.0-3.dsc
2024-05-03 03:49
1.9K
optee-os_4.2.0-3.debian.tar.xz
2024-05-03 03:50
8.3K
Apache/2.4.59 (Debian) Server at debian.ruhr-uni-bochum.de Port 80