total 3190
-rw-rw-rw-   1 ctan_us  mirror         0 Nov 23 12:30 00Contents
-rwxrwxr-x   1 ctan_us  mirror       219 Nov 23 09:33 00Description
-rwxrwxr-x   1 ctan_us  mirror   1166485 Sep  8 07:04 web-5.851d.tar.gz
lrwxr-xr-x   1 ctan_us  mirror        17 Oct 14 00:36 web.tar.gz -> web-5.851d.tar.gz
-rwxrwxr-x   1 ctan_us  mirror    441887 Sep  8 07:04 web2c-5.851d.tar.gz
lrwxr-xr-x   1 ctan_us  mirror        19 Oct 14 00:36 web2c.tar.gz -> web2c-5.851d.tar.gz
