Merge pull request #115685 from r-ryantm/auto-update/wxmaxima

wxmaxima: 20.06.6 -> 21.02.0
This commit is contained in:
Sandro 2021-03-22 01:08:42 +01:00 committed by GitHub
commit 1c3d923aaa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "wxmaxima";
version = "20.06.6";
version = "21.02.0";
src = fetchFromGitHub {
owner = "wxMaxima-developers";
repo = "wxmaxima";
rev = "Version-${version}";
sha256 = "054f7n5kx75ng5j20rd5q27n9xxk03mrd7sbxyym1lsswzimqh4w";
sha256 = "sha256-5nvaaKsvSEs7QxOszjDK1Xkana2er1BCMZ83b1JZSqc=";
};
buildInputs = [ wxGTK maxima gnome3.adwaita-icon-theme ];