Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.gif){kind=icon} | ocr-a.mf | 2002-05-24 17:10 | 22K |
| ocr-ai.mf | 2002-05-24 17:10 | 86 |
| ocr-aii.mf | 2002-05-24 17:10 | 89 |
| ocr-aiii.mf | 2002-05-24 17:10 | 91 |
| ocr-aiv.mf | 2002-05-24 17:10 | 90 |
| ocr.mf | 2002-05-24 17:10 | 50K |
| ocr10.mf | 2002-05-24 17:10 | 312 |
| ocr12.mf | 2002-05-24 17:10 | 327 |
| ocr16.mf | 2002-05-24 17:10 | 327 |