index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
interpreters
/
maude
Commit message (
Expand
)
Author
Age
*
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
Eelco Dolstra
2012-01-18
*
pkgs/development/interpreters/maude: updated to version 2.6
Peter Simons
2011-02-11
*
pkgs/development/interpreters/maude: added proper quoting for the shell patte...
Peter Simons
2011-01-26
*
pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's...
Peter Simons
2010-10-05
*
pkgs/development/interpreters/maude: updated to version 2.5
Peter Simons
2010-08-26
*
Moved 'maintainers' attribute into the meta section of the expression.
Peter Simons
2010-05-09
*
pkgs/development/interpreters/maude: added myself as a maintainer
Peter Simons
2010-04-12
*
svn path=/nixpkgs/branches/stdenv-updates/; revision=19546
Eelco Dolstra
2010-01-19
*
Maude needs libgmpxx.
Peter Simons
2009-07-03
*
* Urgh. Some files that had been deleted in the trunk came back
Eelco Dolstra
2009-04-29
*
* Sync with the trunk.
Eelco Dolstra
2009-03-16
|
\
|
*
Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainers
Peter Simons
2009-02-17
*
|
* Merged from the trunk. Let's see how well this works with
Eelco Dolstra
2008-12-10
|
\
|
|
*
Finalized maude 2.4 release.
Peter Simons
2008-11-14
|
*
Updated maude to 2.4 release.
Peter Simons
2008-11-13
|
*
maudeUnstable: updated to alpha91d
Peter Simons
2008-11-07
|
*
maudeUnstable: updated full-maude to latest alpha release
Peter Simons
2008-10-09
|
/
*
maude: update unstable version to 2.4 alpha 91c
Peter Simons
2008-09-25
*
maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.
Peter Simons
2008-09-19
*
Cosmetic, no functional change intended.
Peter Simons
2008-07-18
*
maude: build of unstable beta version because it has less bugs in full-maude
Peter Simons
2008-07-18
*
added maude beta version
Peter Simons
2008-07-18
*
maude, tecla, buddy: new packages
Peter Simons
2008-07-15