drwxr-xr-x 13145 saferewrite-20240807/src/verify_8 8 files + 0 links
drwxr-xr-x 134 ref 1 file + 0 links drwxr-xr-x 818 rust 3 files + 0 links drwxr-xr-x 12133 supercop 3 files + 0 links -rw-r--r-- 60 api