Ryan Mulligan 84091451ec 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"		2018-02-27 19:05:41 -08:00
..
default.nix	wxmaxima: 17.10.1 -> 18.02.0	2018-02-27 19:05:41 -08:00