![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| dvipsk-5.55a.tar.gz | 1994-04-02 00:25 | 561K |
| dvipsk-5.58b.tar.gz | 1994-10-11 17:00 | 619K |
| dvipsk-5.58e.tar.gz | 1994-12-16 16:00 | 669K |
| dvipsk-5.58f.tar.gz | 1995-01-08 22:01 | 688K |
| dvipsk-5.66a.tar.gz | 1997-02-08 12:19 | 837K |
| dvipsk-5.78.tar.gz | 1998-03-18 16:00 | 859K |
| dvipsk-5.78a.tar.gz | 1998-03-27 12:11 | 1.4M |