drwxr-xr-x 38913 libmceliece-20240726/crypto_sort/int32 5 files + 1 linkdrwxr-xr-x 37590 avx2 4 files + 1 link drwxr-xr-x 1323 portable4 1 file + 0 links