Besides the official CoCoA download page the build team at the University of Dortmund also provides a number of CoCoA builds. Those builds here are usually identical to the ones in Genua, but on occasion we provide test builds for other platforms like Solaris on Sparc, Linux on x86-64 or Windows on x86. These usually show up on the download page in Genua a couple days later.
CoCoA 4.5 on Microsoft Windows
While we are close we aren't there yet. The third release candidate can be found here. It is packaged as a self extracting rar archive. To install execute the binary and extract the files to an appropriate location. Upon extraction create a link to the WinCoCoA4.5.exe and you are done with the installation. To uninstall just delete the WinCoCoA4.5-rc3 directory and the link created earlier. If you like to use the text interface of CoCoA 4.5 make sure to set its path correctly in the cocoa.bat:
rem ############################################################################# rem # Make sure these four variables have the correct values for your system. rem # Below are default values which should work for "standard" installations. set COCOA_HOME=C:\WinCoCoA4.5-rc3
Default is obviously
C:\WinCoCoA4.5-rc3. You should always execute
cocoa.bat and not
This release does contain the CoCoAServer 0.94. In order to start the server just execute the CoCoAServer.exe in the CoCoAServer-0.94 directory. To stop the server just enter
CTRL-C. The Emacs integtration is not ready yet: While cocoa_text compiles and works as a stand alone binary a bug prevents cocoa_text to find its package directory when started out of Emacs. A work-around is possible but due to lack of time not implemented (yet).
For a list of issues check out the CoCoA-4.5 Buglist.
Please report success/failure and/or bugs here. You should also keep an eye on this thread for news and updates regarding CoCoA 4.5 on Windows.
CoCoA 4.5 on Linux x86-64
The final release of CoCoA 4.5 for Linux x86-64 can be found . The matching CoCoAServer can be download from 
FIXME: Add installation/config instructions.
CoCoA 4.5 on Sun Solaris Sparc
The first release candidate can be found here.
FIXME: Add installation/config instructions.
CoCoA 4.5 on other Unixes
Upon request we can build a version for pretty much any given Unix provided
- there is at least a gcc-2.95 or later for CoCoA 4.5 and gcc-3.3 or later for the CoCoAServer 0.94.
- we can compile a version of the gmp-4.1.4, either the generic C build or a cpu specific one.
These two requirements shouldn't be hard to satisfy. You can request a build in the CoCoA Forum.
Since CoCoA 4.5 has been released we do not recommend to use anything older unless you have specific reasons to do so. If you encounter problems it usually helps if you are using the current release since we do not plan to release any bugfixes for CoCoA 4.4 or earlier.
CoCoA 4.4 on Microsoft Windows
There is no public release at the moment. A build without support for the CoCoAServer should be available shortly, i.e. 48 hours after 18:49, 24 Jun 2005 (CEST). One must know that CoCoA time is not linked in a linear fashion to real time, i.e. 48 hours in real time can represent several weeks or months in CoCoA time - everybody who has ever developed software can tell a similar tale.
This release is build with MinGW, hence it is 32 bit only. Since it isn't clear when MinGW will support 64 bit Windows it is unclear when and if such a release will exist. This also depends on demand from other developers since the build team will not waste its time with something nobody uses. Microsoft has taken its time to get a 64 bit version of Windows for x86-64 out the door (roughly 2.5 years after the first useable distributions for linux showed up) and none of the developers of CoCoA has a x86-64 box running on Windows while there are plenty of those boxes running Linux.
CoCoA 4.4 on Linux
All three interfaces are supported. There are a couple of different builds available:
- CoCoA-text for Linux-x86
- CoCoA-Qt for Linux-x86
- CoCoA-text for Linux-x86-64
- CoCoA-Qt for Linux-x86-64
CoCoA 4.4 on MacOSX
All three interfaces are supported. The builds have been build on MacOSX 10.3, a.k.a. Panther. There have been reports that the text- and Emacs-interface also work on MacOSX 10.4, a.k.a. Tiger.
- MacCoCoA-Qt (statically linked)
CoCoA 4.4 on Solaris
There is no public release at the moment. CoCoA 4.4 compiles just fine in 32bit as well as 64bit mode with gcc as well as the SUN Forte compiler but doesn't pass the testsuite yet. Once the windows port is finished work should resume on the sun port.