Peter Simons 645b1cea6e wxmaxima: update to 15.04.0		2015-05-13 12:17:01 +02:00
..
default.nix	wxmaxima: update to 15.04.0	2015-05-13 12:17:01 +02:00