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