drwxr-xr-x 122 saferewrite-20240620/src/uint32_min/supercop 1 file + 1 linklrwxrwxrwx 0 fromsupercop.h -> ../../uint32_max/supercop/fromsupercop.h -rw-r--r-- 122 min.c