g77 resulted in wrong output for 146.wave5, so there is no CFP95.

	Name	Last modified	Size	Description
	Parent Directory		-
	default.cfg	2000-10-02 11:28	1.4K
	CINT95.005	2000-10-02 12:08	3.6K
	CINT95.005.asc	2000-10-02 12:08	3.6K
	log.005	2000-10-02 12:08	131K
	egcs-1.1.2/	2000-10-02 16:29	-

Apache/2.4.62 (Debian) OpenSSL/3.0.15 Server at www.complang.tuwien.ac.at Port 80