Joerg Thalheim 21423521e6 wxmaxima: 15.04.0 -> 17.10.1 ... also fix crash at start-up due missing icons fixes #18479		2017-11-14 11:28:00 +00:00
..
default.nix	wxmaxima: 15.04.0 -> 17.10.1	2017-11-14 11:28:00 +00:00