total 132
-rw-r--r--   1 ctan_us  mirror      1383 Jun  5 22:08 00Contents
-rwxrwxr-x   1 ctan_us  mirror      1183 Sep 18  1992 redis.mf
-rwxrwxr-x   1 ctan_us  mirror      2449 Sep 18  1992 redis10.mf
-rwxrwxr-x   1 ctan_us  mirror      2457 Sep 18  1992 redis10_.mf
-rwxrwxr-x   1 ctan_us  mirror      2496 Sep 18  1992 redis12.mf
-rwxrwxr-x   1 ctan_us  mirror      2504 Sep 18  1992 redis12_.mf
-rwxrwxr-x   1 ctan_us  mirror      2557 Sep 18  1992 redis17.mf
-rwxrwxr-x   1 ctan_us  mirror      2565 Sep 18  1992 redis17_.mf
-rwxrwxr-x   1 ctan_us  mirror      2498 Sep 18  1992 redis8.mf
-rwxrwxr-x   1 ctan_us  mirror      2504 Sep 18  1992 redis8_n.mf
-rwxrwxr-x   1 ctan_us  mirror      2490 Sep 18  1992 redis9.mf
-rwxrwxr-x   1 ctan_us  mirror      2498 Sep 18  1992 redis9_n.mf
-rwxrwxr-x   1 ctan_us  mirror      1194 Sep 18  1992 redis_ne.mf
-rwxrwxr-x   1 ctan_us  mirror      2546 Sep 18  1992 redisbx1.mf
-rwxrwxr-x   1 ctan_us  mirror      8659 Sep 18  1992 redisfon.mf
-rwxrwxr-x   1 ctan_us  mirror      2456 Sep 18  1992 rediss10.mf
-rwxrwxr-x   1 ctan_us  mirror      2509 Sep 18  1992 rediss12.mf
-rwxrwxr-x   1 ctan_us  mirror      2503 Sep 18  1992 rediss8.mf
-rwxrwxr-x   1 ctan_us  mirror      2511 Sep 18  1992 rediss8_.mf
-rwxrwxr-x   1 ctan_us  mirror      2495 Sep 18  1992 rediss9.mf
-rwxrwxr-x   1 ctan_us  mirror      2503 Sep 18  1992 rediss9_.mf
