drwxr-xr-x 38933 libmceliece-20250507/crypto_sort/int32 5 files + 1 link
drwxr-xr-x 37600 avx2 4 files + 1 link
drwxr-xr-x  1333 portable4 1 file + 0 links