total 56
-rw-r--r--   1 ctan_us  mirror       903 Jun  5 21:58 00Contents
-rw-rw-r--   1 ctan_us  mirror      1703 Dec 22  1988 punk.mf
-rw-rw-r--   1 ctan_us  mirror       438 Dec 22  1988 punk10.mf
-rw-rw-r--   1 ctan_us  mirror       438 Dec 22  1988 punk12.mf
-rw-rw-r--   1 ctan_us  mirror       438 Dec 22  1988 punk20.mf
-rw-rw-r--   1 ctan_us  mirror      1770 Nov  7  1988 punka.mf
-rw-rw-r--   1 ctan_us  mirror       813 Nov  7  1988 punkae.mf
-rw-rw-r--   1 ctan_us  mirror       454 Dec 22  1988 punkbx20.mf
-rw-rw-r--   1 ctan_us  mirror      1687 Nov  7  1988 punkd.mf
-rw-rw-r--   1 ctan_us  mirror      2255 Nov  7  1988 punkg.mf
-rw-rw-r--   1 ctan_us  mirror      4701 Nov  7  1988 punkl.mf
-rw-rw-r--   1 ctan_us  mirror      5390 Nov  7  1988 punkp.mf
-rw-rw-r--   1 ctan_us  mirror       674 Nov  7  1988 punksl.mf
-rw-rw-r--   1 ctan_us  mirror       448 Dec 22  1988 punksl20.mf
