Peter Simons b72a91b6a5 wxmaxima: update to version 13.04.1		2013-05-22 11:21:55 +02:00
..
default.nix	wxmaxima: update to version 13.04.1	2013-05-22 11:21:55 +02:00