alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
44570 commits 217 branches 121 tags 4.5 GiB
Commit graph

26 commits

Author SHA1 Message Date
Peter Simons 3ee3a5d387 maude: update full-maude to version 2.6.1h 2014-06-04 16:56:32 +02:00
Peter Simons 2f43cd3793 maude: update full-maude to version 2.6.1e 2014-06-01 22:47:49 +02:00
Peter Simons 26ed6c1148 maude: cosmetic 2014-01-13 17:14:40 +01:00
Eelco Dolstra c556a6ea46 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 
function, so obsolete it.

svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
 2012-01-18 20:16:00 +00:00
Peter Simons bb1edcae8d pkgs/development/interpreters/maude: updated to version 2.6 
svn path=/nixpkgs/trunk/; revision=25904
 2011-02-11 14:41:03 +00:00
Peter Simons b42c943411 pkgs/development/interpreters/maude: added proper quoting for the shell pattern in the postInstall hook 
svn path=/nixpkgs/trunk/; revision=25692
 2011-01-26 15:39:24 +00:00
Peter Simons e3d3ee1af3 pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's known to fail 
svn path=/nixpkgs/trunk/; revision=24073
 2010-10-05 13:45:57 +00:00
Peter Simons 91f20b6289 pkgs/development/interpreters/maude: updated to version 2.5 
svn path=/nixpkgs/trunk/; revision=23467
 2010-08-26 18:09:14 +00:00
Peter Simons fd8c6ae43d 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
 2010-05-09 16:01:44 +00:00
Peter Simons 774a276ff3 pkgs/development/interpreters/maude: added myself as a maintainer 
svn path=/nixpkgs/trunk/; revision=21029
 2010-04-12 11:21:42 +00:00
Eelco Dolstra d348b996cf svn path=/nixpkgs/branches/stdenv-updates/; revision=19546 2010-01-19 17:10:03 +00:00
Peter Simons c713cfa0be Maude needs libgmpxx. 
svn path=/nixpkgs/trunk/; revision=16159
 2009-07-03 11:31:33 +00:00
Eelco Dolstra 210ba6316e * 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
 2009-04-29 16:19:57 +00:00
Eelco Dolstra 3593b97d63 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=14557
 2009-03-16 12:45:27 +00:00
Peter Simons 25a9e73924 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
 2009-02-17 12:51:04 +00:00
Eelco Dolstra e31341510d * Merged from the trunk. Let's see how well this works with 
Subversion 1.5...

svn path=/nixpkgs/branches/stdenv-updates/; revision=13601
 2008-12-10 09:59:21 +00:00
Peter Simons c2417256a8 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
 2008-11-14 22:53:09 +00:00
Peter Simons 893757cfd9 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
 2008-11-13 19:35:48 +00:00
Peter Simons 0eed283de0 maudeUnstable: updated to alpha91d 
svn path=/nixpkgs/trunk/; revision=13227
 2008-11-07 22:46:03 +00:00
Peter Simons f1328839d4 maudeUnstable: updated full-maude to latest alpha release 
svn path=/nixpkgs/trunk/; revision=13017
 2008-10-09 10:10:49 +00:00
Peter Simons 884f30e61f maude: update unstable version to 2.4 alpha 91c 
svn path=/nixpkgs/trunk/; revision=12920
 2008-09-25 21:37:59 +00:00
Peter Simons 656127373d maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now. 
svn path=/nixpkgs/trunk/; revision=12890
 2008-09-19 10:06:58 +00:00
Peter Simons a16eebd0a6 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
 2008-07-18 20:11:25 +00:00
Peter Simons 057bd7c1c2 maude: build of unstable beta version because it has less bugs in full-maude 
svn path=/nixpkgs/trunk/; revision=12385
 2008-07-18 20:11:12 +00:00
Peter Simons b64e42ce35 added maude beta version 
svn path=/nixpkgs/trunk/; revision=12384
 2008-07-18 20:11:02 +00:00
Peter Simons 8d7fe32a0e 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
 2008-07-15 09:58:30 +00:00