Peter Simons c713cfa0be Maude needs libgmpxx. ... svn path=/nixpkgs/trunk/; revision=16159		2009-07-03 11:31:33 +00:00
..
default.nix	Maude needs libgmpxx.	2009-07-03 11:31:33 +00:00