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 | 1992-09-25 07:00 | 22K |
| ocr-ai.mf | 1992-09-25 07:00 | 86 |
| ocr-aii.mf | 1992-09-25 07:00 | 89 |
| ocr-aiii.mf | 1992-09-25 07:00 | 91 |
| ocr-aiv.mf | 1992-09-25 07:00 | 90 |
| ocr.mf | 1992-09-25 07:00 | 50K |
| ocr10.mf | 1994-07-05 17:19 | 312 |
| ocr12.mf | 1994-07-05 17:17 | 327 |
| ocr16.mf | 1994-07-05 17:17 | 327 |