Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - optee-os_4.3.0.orig.tar.gz 2024-07-20 20:26 4.2M optee-os_4.3.0-1ubuntu2_arm64.deb 2024-07-25 19:07 313K optee-os_4.3.0-1ubuntu2.dsc 2024-07-25 19:07 2.0K optee-os_4.3.0-1ubuntu2.debian.tar.xz 2024-07-25 19:07 8.7K optee-os-dev_4.3.0-1ubuntu2_arm64.deb 2024-07-25 19:07 766K