| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | treewide: remove redundant rec | volth | 2019-08-28 | 1 | -1/+1 |
| * | treewide: name -> pname | volth | 2019-08-17 | 1 | -1/+2 |
| * | flex_2_5_35: replace with flex 2.6.4 in coprthr, gradm, maude, scotch | Orivej Desh | 2018-11-13 | 1 | -0/+5 |
| * | pkgs: refactor needless quoting of homepage meta attribute (#27809)•••* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
| Silvan Mosberger | 2017-08-01 | 1 | -1/+1 |
| * | maude: set available on all Unix platforms | Vincent Laporte | 2017-07-05 | 1 | -1/+1 |
| * | maude: disable CVC4 support to fix the build | Peter Simons | 2017-05-26 | 1 | -2/+3 |
| * | maude: update to 2.7.1 | Peter Simons | 2016-12-29 | 1 | -10/+14 |
| * | maude: update to version 2.7 | Peter Simons | 2016-12-22 | 1 | -13/+20 |
| * | maude: disable pic and fortify hardening on i686 | Robin Gloster | 2016-08-24 | 1 | -1/+2 |
| * | Merge remote-tracking branch 'upstream/master' into hardened-stdenv | Robin Gloster | 2016-08-03 | 1 | -1/+1 |
| |\ |
|
| | * | treewide: Lots of meta.hydraPlatforms -> meta.platforms•••In all of these files, there is no meta.platforms but only
meta.hydraPlatforms, which doesn't seem to have any purpose except being
inconsistent.
| Tuomas Tynkkynen | 2016-08-02 | 1 | -1/+1 |
| * | | maude: disable stackprotector hardening•••segfaults during tests
| Robin Gloster | 2016-05-31 | 1 | -0/+2 |
| |/ |
|
| * | Bring my stdenv.lib.maintainers user name in line with my github nick. | Peter Simons | 2016-05-16 | 1 | -1/+1 |
| * | Fix many package descriptions•••(My OCD kicked in today...)
Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.
I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.
I've tried to stay away from generated expressions (and I think I
succeeded).
Some specifics worth mentioning:
* cron, has "Vixie Cron" in its description. The "Vixie" part is not
mentioned anywhere else. I kept it in a parenthesis at the end of the
description.
* ctags description started with "Exuberant Ctags ...", and the
"exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
at the end of description.
* nix has the description "The Nix Deployment System". Since that
doesn't really say much what it is/does (especially after removing
the package name!), I changed that to "Powerful package manager that
makes package management reliable and reproducible" (borrowed from
nixos.org).
* Tons of "GNU Foo, Foo is a [the important bits]" descriptions
is changed to just [the important bits]. If the package name doesn't
contain GNU I don't think it's needed to say it in the description
either.
| Bjørn Forsman | 2014-08-24 | 1 | -1/+1 |
| * | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 | 1 | -1/+1 |
| * | maude: update full-maude to version 2.6.1h | Peter Simons | 2014-06-04 | 1 | -4/+4 |
| * | maude: update full-maude to version 2.6.1e | Peter Simons | 2014-06-01 | 1 | -4/+4 |
| * | maude: cosmetic | Peter Simons | 2014-01-13 | 1 | -4/+9 |
| * | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless••• function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
| Eelco Dolstra | 2012-01-18 | 1 | -1/+1 |
| * | pkgs/development/interpreters/maude: updated to version 2.6•••svn path=/nixpkgs/trunk/; revision=25904
| Peter Simons | 2011-02-11 | 1 | -8/+6 |
| * | pkgs/development/interpreters/maude: added proper quoting for the shell patte...•••svn path=/nixpkgs/trunk/; revision=25692
| Peter Simons | 2011-01-26 | 1 | -1/+1 |
| * | pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's...•••svn path=/nixpkgs/trunk/; revision=24073
| Peter Simons | 2010-10-05 | 1 | -1/+3 |
| * | pkgs/development/interpreters/maude: updated to version 2.5•••svn path=/nixpkgs/trunk/; revision=23467
| Peter Simons | 2010-08-26 | 1 | -16/+16 |
| * | Moved 'maintainers' attribute into the meta section of the expression.•••I've also set the 'platforms' attribute to ensure that Hydra actually
builds these packages. Thanks to Lluís Batlle i Rossell for pointing out
these mistakes.
svn path=/nixpkgs/trunk/; revision=21688
| Peter Simons | 2010-05-09 | 1 | -7/+7 |
| * | pkgs/development/interpreters/maude: added myself as a maintainer•••svn path=/nixpkgs/trunk/; revision=21029
| Peter Simons | 2010-04-12 | 1 | -8/+10 |
| * | svn path=/nixpkgs/branches/stdenv-updates/; revision=19546 | Eelco Dolstra | 2010-01-19 | 1 | -0/+8 |
| * | Maude needs libgmpxx.•••svn path=/nixpkgs/trunk/; revision=16159
| Peter Simons | 2009-07-03 | 1 | -2/+2 |
| * | * Urgh. Some files that had been deleted in the trunk came back••• through the stdenv-updates merge (probably because they had been
modified in the branch).
svn path=/nixpkgs/trunk/; revision=15403
| Eelco Dolstra | 2009-04-29 | 1 | -37/+0 |
| * | * Sync with the trunk.•••svn path=/nixpkgs/branches/stdenv-updates/; revision=14557
| Eelco Dolstra | 2009-03-16 | 1 | -1/+1 |
| |\ |
|
| | * | Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainers•••have the habit of releasing updates under the exact same file name and
URL.
svn path=/nixpkgs/trunk/; revision=14094
| Peter Simons | 2009-02-17 | 1 | -1/+1 |
| * | | * Merged from the trunk. Let's see how well this works with••• Subversion 1.5...
svn path=/nixpkgs/branches/stdenv-updates/; revision=13601
| Eelco Dolstra | 2008-12-10 | 1 | -10/+15 |
| |\| |
|
| | * | Finalized maude 2.4 release.••• - Updated full-maude to 2.4.
- Added program wrapper to set ${MAUDE_LIB} correctly.
- TODO: the documentation is still not quite up-to-date.
svn path=/nixpkgs/trunk/; revision=13303
| Peter Simons | 2008-11-14 | 1 | -8/+7 |
| | * | Updated maude to 2.4 release.•••TODO: The full-maude distribution is missing from the web site. The
expression installs 2.3j until that is fixed. Also, the documentation
that's installed isn't up-to-date yet, it's from version 2.3.
svn path=/nixpkgs/trunk/; revision=13285
| Peter Simons | 2008-11-13 | 2 | -47/+15 |
| | * | maudeUnstable: updated to alpha91d•••svn path=/nixpkgs/trunk/; revision=13227
| Peter Simons | 2008-11-07 | 1 | -3/+3 |
| | * | maudeUnstable: updated full-maude to latest alpha release•••svn path=/nixpkgs/trunk/; revision=13017
| Peter Simons | 2008-10-09 | 1 | -5/+6 |
| |/ |
|
| * | maude: update unstable version to 2.4 alpha 91c•••svn path=/nixpkgs/trunk/; revision=12920
| Peter Simons | 2008-09-25 | 1 | -3/+3 |
| * | maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.•••svn path=/nixpkgs/trunk/; revision=12890
| Peter Simons | 2008-09-19 | 1 | -5/+4 |
| * | Cosmetic, no functional change intended.•••This patch moves curly braces to the end of the line, i.e.
foo = {
...
};
instead of the previously used style:
foo =
{
...
};
I commit this change hoping that my contributions to this project now conform
to the rules described in maintainers/docs/coding-conventions.txt so that the
self-appointed indention sheriff of the NixOS community can finally get off my
back and rest assured knowing that all i's are dotted and all t's are crossed.
svn path=/nixpkgs/trunk/; revision=12386
| Peter Simons | 2008-07-18 | 2 | -18/+9 |
| * | maude: build of unstable beta version because it has less bugs in full-maude•••svn path=/nixpkgs/trunk/; revision=12385
| Peter Simons | 2008-07-18 | 1 | -6/+19 |
| * | added maude beta version•••svn path=/nixpkgs/trunk/; revision=12384
| Peter Simons | 2008-07-18 | 1 | -0/+30 |
| * | maude, tecla, buddy: new packages•••Maude is a high-level specification language. Buddy and libtecla are required
to build Maude.
svn path=/nixpkgs/trunk/; revision=12358
| Peter Simons | 2008-07-15 | 1 | -0/+36 |
