-rw-r--r--  1 rsc  users    399 Jul 18  2005 INDEX
-rw-r--r--  1 rsc  users    642 Jul 18  2005 listen1.8
-rw-r--r--  1 rsc  users   7430 Nov 28  2007 vbackup.8
-rw-r--r--  1 rsc  users   2101 Jul 13  2005 venti-backup.8
-rw-r--r--  1 rsc  users   8813 Jul 28  2005 venti-fmt.8
-rw-r--r--  1 rsc  users  12333 Aug 12  2005 venti.8