Commit graph

15 commits

Author SHA1 Message Date
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