drwxr-xr-x 105963 djbsort-20180717 99 files
drwxr-xr-x   4598 command 4 files
drwxr-xr-x   1631 compilers 2 files
drwxr-xr-x  28419 cpucycles 65 files
drwxr-xr-x   1750 h-external 3 files
drwxr-xr-x    935 h-internal 3 files
drwxr-xr-x  23880 int32 7 files
drwxr-xr-x   3150 uint32 3 files
drwxr-xr-x  17379 verif 5 files
-rw-r--r--     13 TYPES
-rwxr-xr-x     88 benchmark
-rwxr-xr-x  10674 build
-rwxr-xr-x     57 do
-rwxr-xr-x  12498 test
-rwxr-xr-x    882 upgrade
-rw-r--r--      9 version