drwxr-xr-x 12383 saferewrite-20210903/src/core_weightsntrup761 18 files
drwxr-xr-x  6022 avx 9 files
drwxr-xr-x  6290 ref 8 files
-rw-r--r--    71 api