drwxr-xr-x 97655 djbsort-20180710 91 files
drwxr-xr-x  2024 command 3 files
drwxr-xr-x  2651 compilers 2 files
drwxr-xr-x 28419 cpucycles 65 files
drwxr-xr-x   998 h-external 2 files
drwxr-xr-x   518 h-internal 1 file
drwxr-xr-x 24620 int32 7 files
drwxr-xr-x 14404 verif 5 files
-rw-r--r--     6 TYPES
-rwxr-xr-x 10661 build
-rwxr-xr-x    42 do
-rwxr-xr-x 12421 test
-rwxr-xr-x   882 upgrade
-rw-r--r--     9 version