drwxr-xr-x 1244 saferewrite-20240622/src/int32_positive_mask 9 files + 5 links
drwxr-xr-x  120 libmceliece 1 file + 2 links
drwxr-xr-x  102 ref 1 file + 0 links
drwxr-xr-x  187 shift2 1 file + 0 links
drwxr-xr-x  193 shift3 1 file + 0 links
drwxr-xr-x  188 shift4 1 file + 0 links
drwxr-xr-x  162 shiftbug 1 file + 0 links
drwxr-xr-x  120 supercop 1 file + 1 link
drwxr-xr-x  118 supercopnew 1 file + 2 links
-rw-r--r--   54 api