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