about summary refs log tree commit diff
path: root/pkgs/development/interpreters/maude
Commit message (Collapse)AuthorAge
* Fix many package descriptionsBjørn Forsman2014-08-24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (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.
* 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
| | | | | | function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
* pkgs/development/interpreters/maude: updated to version 2.6Peter Simons2011-02-11
| | | | svn path=/nixpkgs/trunk/; revision=25904
* pkgs/development/interpreters/maude: added proper quoting for the shell ↵Peter Simons2011-01-26
| | | | | | pattern in the postInstall hook svn path=/nixpkgs/trunk/; revision=25692
* pkgs/development/interpreters/maude: don't run the test suite on Darwin; ↵Peter Simons2010-10-05
| | | | | | it's known to fail svn path=/nixpkgs/trunk/; revision=24073
* pkgs/development/interpreters/maude: updated to version 2.5Peter Simons2010-08-26
| | | | svn path=/nixpkgs/trunk/; revision=23467
* Moved 'maintainers' attribute into the meta section of the expression.Peter Simons2010-05-09
| | | | | | | | 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
* pkgs/development/interpreters/maude: added myself as a maintainerPeter Simons2010-04-12
| | | | svn path=/nixpkgs/trunk/; revision=21029
* svn path=/nixpkgs/branches/stdenv-updates/; revision=19546Eelco Dolstra2010-01-19
|
* Maude needs libgmpxx.Peter Simons2009-07-03
| | | | svn path=/nixpkgs/trunk/; revision=16159
* * Urgh. Some files that had been deleted in the trunk came backEelco Dolstra2009-04-29
| | | | | | | through the stdenv-updates merge (probably because they had been modified in the branch). svn path=/nixpkgs/trunk/; revision=15403
* * Sync with the trunk.Eelco Dolstra2009-03-16
|\ | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=14557
| * Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainersPeter Simons2009-02-17
| | | | | | | | | | | | | | have the habit of releasing updates under the exact same file name and URL. svn path=/nixpkgs/trunk/; revision=14094
* | * Merged from the trunk. Let's see how well this works withEelco Dolstra2008-12-10
|\| | | | | | | | | | | Subversion 1.5... svn path=/nixpkgs/branches/stdenv-updates/; revision=13601
| * Finalized maude 2.4 release.Peter Simons2008-11-14
| | | | | | | | | | | | | | | | - 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
| * Updated maude to 2.4 release.Peter Simons2008-11-13
| | | | | | | | | | | | | | | | 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
| * maudeUnstable: updated to alpha91dPeter Simons2008-11-07
| | | | | | | | svn path=/nixpkgs/trunk/; revision=13227
| * maudeUnstable: updated full-maude to latest alpha releasePeter Simons2008-10-09
|/ | | | svn path=/nixpkgs/trunk/; revision=13017
* maude: update unstable version to 2.4 alpha 91cPeter Simons2008-09-25
| | | | svn path=/nixpkgs/trunk/; revision=12920
* maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.Peter Simons2008-09-19
| | | | svn path=/nixpkgs/trunk/; revision=12890
* Cosmetic, no functional change intended.Peter Simons2008-07-18
| | | | | | | | | | | | | | | | | | | | | | 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
* maude: build of unstable beta version because it has less bugs in full-maudePeter Simons2008-07-18
| | | | svn path=/nixpkgs/trunk/; revision=12385
* added maude beta versionPeter Simons2008-07-18
| | | | svn path=/nixpkgs/trunk/; revision=12384
* maude, tecla, buddy: new packagesPeter Simons2008-07-15
Maude is a high-level specification language. Buddy and libtecla are required to build Maude. svn path=/nixpkgs/trunk/; revision=12358
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-18 13:23:45 +0000