drwxr-xr-x  2 edrx edrx        4096 Feb 25  2010 ./
drwxr-xr-x 27 edrx edrx        4096 Jul 25 22:16 ../
-rw-r--r--  1 edrx edrx      550468 Jul 21 22:24 __cats.el
-rw-r--r--  1 edrx edrx     1089917 Jul 25 22:15 __cats.el.html
-rwxr-xr-x  2 edrx www-data 2809731 Feb 25  2010 lawvere__equality_in_hyperdoctrines__1970.djvu*