| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 00index.txt | 182 B | 1994-Jul-22 00:08 | |
| copying | 1.8 KiB | 1994-Jul-22 00:08 | |
| diskoi2 | 324 B | 1994-Jul-22 00:08 | |
| oidemos.tgz | 132.7 KiB | 1994-Jul-22 00:08 | |
| oidoc.tgz | 203.0 KiB | 1994-Jul-22 00:08 | |
| oiman.tgz | 163.2 KiB | 1994-Jul-22 00:08 | |
| uib.tgz | 313.4 KiB | 1994-Jul-22 00:08 | |