![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| presz130.zip | 1998-11-15 00:00 | 87K | |
| presz120.zip | 1998-06-11 00:00 | 73K | |
| pfdisktc.zip | 1993-09-14 00:00 | 23K | |
| ide_conf.tar | 1993-09-15 00:00 | 24K | |
| fips20.zip | 1998-08-25 00:00 | 158K | |
| fips15c.tar.gz | 1998-03-17 00:00 | 154K | |
| fips11.zip | 1994-06-05 00:00 | 99K | |
| fdimag12.zip | 1997-02-11 00:00 | 16K | |
| extipl30.zip | 1997-10-28 00:00 | 45K | |
| ckdist10.zip | 1997-02-11 00:00 | 36K | |
| bteasy17.zip | 1995-11-14 00:00 | 23K | |
| bteasy14.zip | 1993-09-21 00:00 | 15K | |