wxmaxima: 17.10.1 -> 18.02.0

Semi-automatic update. These checks were performed:

- built on NixOS
- found 18.02.0 with grep in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0
- found 18.02.0 in filename of file in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0

cc "@peti"

+2 -2
+2 -2
pkgs/applications/science/math/wxmaxima/default.nix
··· 4 4 5 5 stdenv.mkDerivation rec { 6 6 name = "wxmaxima-${version}"; 7 - version = "17.10.1"; 7 + version = "18.02.0"; 8 8 9 9 src = fetchFromGitHub { 10 10 owner = "andrejv"; 11 11 repo = "wxmaxima"; 12 12 rev = "Version-${version}"; 13 - sha256 = "088h8dlc9chkppwl4ck9i0fgf2d1dcpi5kq8qbpr5w75vhwsb6qm"; 13 + sha256 = "0s7bdykc77slqix28cyaa6x8wvxrn8461mkdgxflvi2apwsl56aa"; 14 14 }; 15 15 16 16 buildInputs = [ wxGTK maxima gnome3.defaultIconTheme ];