drwxr-xr-x 12133 saferewrite-20240807/src/verify_8/supercop 3 files + 0 links
-rw-r--r-- 11792 crypto_int32.h
-rw-r--r--    30 crypto_verify.h
-rw-r--r--   311 verify.c