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
*
pkgs: refactor needless quoting of homepage meta attribute (#27809)
Silvan Mosberger
2017-08-01
*
maude: set available on all Unix platforms
Vincent Laporte
2017-07-05
*
maude: disable CVC4 support to fix the build
Peter Simons
2017-05-26
*
maude: update to 2.7.1
Peter Simons
2016-12-29
*
maude: update to version 2.7
Peter Simons
2016-12-22
*
maude: disable pic and fortify hardening on i686
Robin Gloster
2016-08-24
*
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
Robin Gloster
2016-08-03
|
\
|
*
treewide: Lots of meta.hydraPlatforms -> meta.platforms
Tuomas Tynkkynen
2016-08-02
*
|
maude: disable stackprotector hardening
Robin Gloster
2016-05-31
|
/
*
Bring my stdenv.lib.maintainers user name in line with my github nick.
Peter Simons
2016-05-16
*
Fix many package descriptions
Bjørn Forsman
2014-08-24
*
Turn some license strings into lib.licenses values
Mateusz Kowalczyk
2014-07-28
*
maude: update full-maude to version 2.6.1h
Peter Simons
2014-06-04
*
maude: update full-maude to version 2.6.1e
Peter Simons
2014-06-01
*
maude: cosmetic
Peter Simons
2014-01-13
*
* "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