drwxr-xr-x 38431 libmceliece-20240513/crypto_sort/int32 5 files + 1 linkdrwxr-xr-x 37108 avx2 4 files + 1 link drwxr-xr-x 1323 portable4 1 file + 0 links