summary refs log tree commit diff
path: root/pkgs/development/interpreters/maude
Commit message (Expand)AuthorAge
* Fix many package descriptionsBjørn Forsman2014-08-24
* Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
* maude: update full-maude to version 2.6.1hPeter Simons2014-06-04
* maude: update full-maude to version 2.6.1ePeter Simons2014-06-01
* maude: cosmeticPeter Simons2014-01-13
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* pkgs/development/interpreters/maude: updated to version 2.6Peter Simons2011-02-11
* pkgs/development/interpreters/maude: added proper quoting for the shell patte...Peter Simons2011-01-26
* pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's...Peter Simons2010-10-05
* pkgs/development/interpreters/maude: updated to version 2.5Peter Simons2010-08-26
* Moved 'maintainers' attribute into the meta section of the expression.Peter Simons2010-05-09
* pkgs/development/interpreters/maude: added myself as a maintainerPeter Simons2010-04-12
* svn path=/nixpkgs/branches/stdenv-updates/; revision=19546Eelco Dolstra2010-01-19
* Maude needs libgmpxx.Peter Simons2009-07-03
* * Urgh. Some files that had been deleted in the trunk came backEelco Dolstra2009-04-29
* * Sync with the trunk.Eelco Dolstra2009-03-16
|\
| * Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainersPeter Simons2009-02-17
* | * Merged from the trunk. Let's see how well this works withEelco Dolstra2008-12-10
|\|
| * Finalized maude 2.4 release.Peter Simons2008-11-14
| * Updated maude to 2.4 release.Peter Simons2008-11-13
| * maudeUnstable: updated to alpha91dPeter Simons2008-11-07
| * maudeUnstable: updated full-maude to latest alpha releasePeter Simons2008-10-09
|/
* maude: update unstable version to 2.4 alpha 91cPeter Simons2008-09-25
* maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.Peter Simons2008-09-19
* Cosmetic, no functional change intended.Peter Simons2008-07-18
* maude: build of unstable beta version because it has less bugs in full-maudePeter Simons2008-07-18
* added maude beta versionPeter Simons2008-07-18
* maude, tecla, buddy: new packagesPeter Simons2008-07-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-29 10:41:01 +0000