| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 00_index.txt | 68 bytes | 1995-09-03 08:41:01 |
| 📄 diskxv2 | 1488 bytes | 1995-06-25 06:59:54 |
| 📄 workman.tgz | 65783 bytes | 1995-08-06 08:10:42 |
| 📄 xv32_a.tgz | 707826 bytes | 1995-06-15 18:49:58 |
| 📄 xv32exmp.tgz | 228700 bytes | 1994-10-15 06:58:00 |
| 📄 xvinc32.tgz | 262967 bytes | 1995-06-15 18:54:09 |
| 📄 xvmenus.tgz | 19418 bytes | 1995-06-15 18:51:20 |