DOWNLOAD page
CoCoA 4.7.5

Legend

• pre-release latest version old version
• cocoa: textual interface binary which can run under emacs or in a terminal
• EmacsUI: Emacs User Interface cocoa.el and other customization files
• GUI: Graphical User Interface binary
• CoCoAServer: server binary communication with the new C++ CoCoALib (succeded by CoCoA 5)

Macintosh Installation Instructions for the GUI you need to install Qt-libraries from Nokia Qt.

• CoCoA-4.7.5 (3M) Universal MacOSX provides cocoa, EmacsUI, CoCoAServer
• CoCoA-4.7.5 (8.2M) Universal MacOSX provides cocoa, GUI, CoCoAServer
• CoCoA-4.1 LinuxPPC (940 Kb)
• CoCoA-4.0 MacOS9 (1000 Kb)

Linux x86 Installation Instructions Emacs interface for cocoa

• CoCoA-4.7.5 (1.6M) provides cocoa, EmacsUI, CoCoAServer
• CoCoA-4.7.5 (4.7M) provides cocoa, EmacsUI, GUI, CoCoAServer

Optimized for 64-bit processors:

• CoCoA-4.7.4 (1.6M) provides cocoa, EmacsUI, CoCoAServer
for (old) glibc-2 [Debian]
• CoCoA-4.7.4 (1.6M) provides cocoa, EmacsUI, CoCoAServer
• CoCoA-4.7.4 (2.5M) provides cocoa, EmacsUI, GUI, CoCoAServer

MSWindows Installation Instructions

• CoCoA-4.7.5 (7.5M) provides cocoa, EmacsUI, GUI, CoCoAServer

Sun Solaris Installation Instructions Emacs interface for cocoa

• CoCoA-4.6 (1M) provides cocoa 32bit, EmacsUI, CoCoAServer 64bit
• CoCoA-4.6 (4M) provides cocoa 32bit, EmacsUI, GUI, CoCoAServer 64bit

For Solaris on x86

• CoCoA-4.7.4 (prerelease 1) (1.9M) provides cocoa, EmacsUI, CoCoAServer

DEC Alpha workstations

• CoCoA-4.2 OSF1 (1100 Kb)

ARM Installation Instructions

• CoCoA-4.2 (990 Kb) ARM processors running Linux (www.handhelds.org)

HP workstations

• CoCoA-3.6

SGI Irix

• CoCoA-3.7 (597 Kb) SGI workstations running IRIX **

Please, if you are interested in CoCoA for a non-supported platform, let us know and we will try to offer it.

** The IRIX version is available by kind cooperation of EURANDOM.