Index of /pub/debian/pool/main/o/optee-os

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[   ] optee-os-dev_4.2.0-3_arm64.deb 2024-04-30 17:27  695K  
[   ] optee-os_4.2.0-3.debian.tar.xz 2024-04-30 16:42  8.3K  
[   ] optee-os_4.2.0-3.dsc           2024-04-30 16:42  1.9K  
[   ] optee-os_4.2.0-3_arm64.deb     2024-04-30 17:27  286K  
[   ] optee-os_4.2.0.orig.tar.gz     2024-04-23 13:48  3.8M
Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80