drwxr-xr-x 39074 libmceliece-20230612/crypto_sort/int32 7 files + 2 links
drwxr-xr-x 37108 avx2 4 files + 1 link
drwxr-xr-x  1966 portable4 3 files + 1 link