Index of /pub/databases/deductive/coral/coral-1.5

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 INSTALL                                  21-Nov-1996 05:58   15K  
 coral-1.5.1.hpux.tar.gz                  18-Jun-1997 06:47  4.7M  
 coral-1.5.1.linux.tar.gz                 21-Nov-1996 19:30  3.9M  
 coral-1.5.1.nobin.tar.gz                 13-Aug-1997 02:00  2.7M  
 coral-1.5.1.sol386.tar.gz                21-Nov-1996 21:25  4.1M  
 coral-1.5.1.sun4.tar.gz                  21-Nov-1996 08:53  4.3M  
 coral-1.5.1.sun5.tar.gz                  07-Jan-1997 05:31  4.1M  
 coral-1.5.2.hpux.tar.gz                  04-Dec-1997 09:42  4.7M  
 coral-1.5.2.linux.tar.gz                 02-Dec-1997 08:27  3.5M  
 coral-1.5.2.nobin.tar.gz                 20-Aug-1998 02:06  2.7M  
 coral-1.5.2.sol386.tar.gz                05-Dec-1997 07:54  4.1M  
 coral-1.5.2.sun5.tar.gz                  27-Nov-1997 01:52  5.0M  
 irix6.2/                                 07-Jul-1998 02:17    -   
 patch/                                   30-Oct-1998 02:14    -