Select the link below appropriate to the type of machine you wish to
run Maude:
Sun Sparc under Solaris (maude-solaris.tar.Z). We recommend 5.7 or later version.
Sun Sparc under SunOS (maude-sunos.tar.Z). We recommend 4.1.4 or later version.
Intel x86 under Linux (maude-linux.tar.Z). We recommend 2.2.5 or later version.
Intel x86 under FreeBSD (maude-freeBSD.tar.Z). We recommend 3.3 or later version.
Compaq Alpha under OSF1 (maude-alpha.tar.Z). We recommend 4.0 or later version.
SGI under IRIX (maude-sgi.tar.Z). We recommend IRIX 6.2 or later version (n32 ABI).
IBM RS/6000 under AIX (maude-aix.tar.Z). We recommend 4.3 or later version.
Apple PowerMac under Linux (maude-maclinux.tar.Z). We recommend 2.2.15 or later version.
It is important that you subscribe to the maude mailing list if using
Maude, as this is the mechanism by which we will make important
announcements about the system.