drwxr-xr-x 346821 libmceliece-20260622/crypto_sort/int64 3 files + 2 links
drwxr-xr-x 167111 avx2 1 file + 1 link
drwxr-xr-x 178375 neon 1 file + 1 link
drwxr-xr-x   1335 portable4 1 file + 0 links