total 11
-rw-rw-r--  1 archive         0 Mar 25 11:02 00Contents
-rw-rw-r--  1 archive       575 Mar 22 20:09 00Description
-rw-rw-r--  1 archive      3477 Sep  7  1991 NOTE
drwxrwxr-x  4 archive       512 Feb 26 15:15 dvipaste
drwxrwxr-x  3 archive       512 Feb 26 15:15 index
drwxrwxr-x  3 archive      1536 Feb 26 15:15 inputs
drwxrwxr-x  2 archive       512 Feb 26 15:15 mf
drwxrwxr-x  2 archive       512 Feb 26 15:15 tfm