Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-11-29 | Fix build with newer bison. Don't use <rope> with clang, but fall back | joerg | 1 | -1/+14 |
2011-04-19 | Update Maude to version 2.6 | asau | 1 | -4/+4 |
2010-05-19 | Update to Maude 2.4 | asau | 1 | -4/+4 |
2007-12-01 | Updated maude to 2.3. | rillig | 1 | -6/+4 |
2006-05-02 | Add some missing includes. Fix C++ for GCC 3.4+. | joerg | 1 | -1/+5 |
2005-10-14 | Update lang/maude to 2.1.1 | tonio | 1 | -7/+4 |
2005-02-24 | Add RMD160 digests | agc | 1 | -1/+3 |
2003-12-31 | Update lang/maude to version 2.0.1. | kristerw | 1 | -3/+5 |
2001-04-19 | Move to sha1 digests, and add distfile sizes. | agc | 1 | -1/+2 |
2001-04-17 | + move the distfile digest/checksum value from files/md5 to distinfo | agc | 1 | -0/+3 |