Sources and binaries for all Maude versions since 2.0 are available in the the releases section of its GitHub repo. A summary of changes for each release is available here.
Maude 3
| Version | Date | Manual | Examples |
|---|---|---|---|
| 3.5.1 | July 17, 2025 | ZIP | |
| 3.5 | September 25, 2024 | ||
| 3.4 | March 21, 2024 | ZIP | |
| 3.3.1 | April 19, 2023 | ||
| 3.3 | April 19, 2023 | ||
| 3.2.1 | February 22, 2022 | HTML · PDF | |
| 3.2 | February, 2022 | HTML · PDF | |
| 3.1 | October 19, 2020 | HTML · PDF | ZIP |
| 3.0 | December 21, 2019 | HTML · PDF | ZIP |
Maude 2
| Version | Date | Manual | Examples |
|---|---|---|---|
| 2.7.1 | August 4, 2016 | ZIP | |
| 2.7 | May 26, 2015 | ZIP | |
| 2.6 | December 10, 2010 | ||
| 2.5 | July 19, 2010 | ||
| 2.4 | November 12, 2008 | ||
| 2.3 | February 10, 2007 | ||
| 2.2 | December 13, 2005 | ||
| 2.1.1 | July 22, 2004 | ||
| 2.1 | March 25, 2004 | ||
| 2.0.1 | August 1, 2003 | ||
| 2.0 | June 11, 2003 |
Maude 1
Look at the Maude 1 website.