Index of /mirror/archive/ftp.sunet.se/pub/databases/deductive/coral/coral-1.5

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