drwxr-xr-x 39074 libmceliece-20230612/crypto_sort/int32 7 files + 2 linksdrwxr-xr-x 37108 avx2 4 files + 1 link drwxr-xr-x 1966 portable4 3 files + 1 link