wxMaxima: update to 20.02.4.

This commit is contained in:
mobinmob 2020-03-13 15:08:19 +02:00 committed by Juan RP
parent 974fd3bf25
commit 188813bac4

View file

@ -1,6 +1,6 @@
# Template file for 'wxMaxima'
pkgname=wxMaxima
version=20.02.1
version=20.02.4
revision=1
wrksrc="wxmaxima-Version-${version}"
build_style=cmake
@ -13,7 +13,7 @@ maintainer="Martin Riese <grauehaare@gmx.de>"
license="GPL-2.0-or-later"
homepage="https://wxmaxima-developers.github.io/wxmaxima/"
distfiles="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${version}.tar.gz"
checksum=dd79b624db0a1a802ba71aab8fa412fa0c318e98f51c13acf97dd46122228068
checksum=d47ca52e40491ea3c4ea7bea126f4da4d0b535702126abef0c172f69ba58e17d
nocross="clisp is nocross"
post_install() {