total 454
-rw-rw-r--   1 ftpmaint server       272 Dec  5 07:37 00Contents
-rw-rw-r--   1 ftpmaint server      3581 Oct 31 14:52 announce
-rw-rw-r--   1 ftpmaint server    203569 Oct 31 14:52 dinbrief.dtx
-rw-rw-r--   1 ftpmaint server      7248 Oct 31 14:52 dinbrief.ins
-rw-rw-r--   1 ftpmaint server      5916 Oct 31 14:52 readme
