../ diskap1 23-Dec-2017 18:02 1983 english.tgz 23-Dec-2017 18:02 366K ispell.tgz 23-Dec-2017 18:02 235K jove.tgz 23-Dec-2017 18:02 124K maketag 23-Dec-2017 18:02 2070 man.tgz 23-Dec-2017 18:02 394K manpgs.tgz 23-Dec-2017 18:02 43K tagfile 23-Dec-2017 18:02 1850 tagfile.org 23-Dec-2017 18:02 1850 tagfile.pat 23-Dec-2017 18:02 239 termbin.tgz 23-Dec-2017 18:02 53K termsrc.tgz 23-Dec-2017 18:02 95K