Index of /pub/databases/deductive/coral/coral1.1

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 coral.1.1.1.nobin.tar.gz                 11-Feb-1995 00:00  1.2M  
 coral.1.1.nobin.tar.gz                   27-Dec-1994 00:00  2.7M  
 install.chap                             15-Jun-1994 02:00   10K