Index of /pub/linux/8086/dev86

 Name                     Last modified      Size  Description
 Parent Directory                              -   
 00index                  1997-05-09 19:31  800   
 Dev86bin-0.12.0.tar.gz   1997-05-09 19:27  279K  
 Dev86clb-0.12.0.zip      1997-05-09 19:28  143K  
 Dev86dos-0.12.0.zip      1997-05-09 19:30  178K  
 Dev86src-0.12.0.patch.gz 1997-05-09 19:30   35K  
 Dev86src-0.12.0.tar.gz   1997-05-09 19:36  574K  
 old-versions/            1997-05-09 19:46    -