wxmaxima: update to 15.04.0
This commit is contained in:
parent
8c1e98563c
commit
645b1cea6e
@ -2,14 +2,14 @@
|
|||||||
|
|
||||||
let
|
let
|
||||||
name = "wxmaxima";
|
name = "wxmaxima";
|
||||||
version = "14.12.1";
|
version = "15.04.0";
|
||||||
in
|
in
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
name = "${name}-${version}";
|
name = "${name}-${version}";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "mirror://sourceforge/${name}/wxMaxima/${version}/wxmaxima-${version}.tar.gz";
|
url = "mirror://sourceforge/${name}/wxMaxima/${version}/wxmaxima-${version}.tar.gz";
|
||||||
sha256 = "0sjxvh0y5w5p2xdq3qzz3yhlsigrg3ynib9dkymhynpfnb51x82z";
|
sha256 = "1fm47ah4aw5qdjqhkz67w5fwhy8yfffa5z896crp0d3hk2bh4180";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [wxGTK maxima makeWrapper];
|
buildInputs = [wxGTK maxima makeWrapper];
|
||||||
|
Loading…
Reference in New Issue
Block a user