Peter Simons 55ea7dc453 wxmaxima: update to version 12.04.0		2012-07-07 22:20:18 +02:00
..
default.nix	wxmaxima: update to version 12.04.0	2012-07-07 22:20:18 +02:00