wxMaxima: update to 19.05.3.

This commit is contained in:
Piotr Wójcik 2019-05-13 19:52:11 +02:00 committed by Helmut Pozimski
parent 25ee960c26
commit d2b1fa2fb0
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'wxMaxima'
pkgname=wxMaxima
version=19.05.1
version=19.05.3
revision=1
wrksrc="wxmaxima-Version-${version}"
build_style=cmake
@ -12,7 +12,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=98b6016d775e20dfdfe18c92a0b2303e1d72dd9e951c0c2b6cb895c28c2e1987
checksum=dffca11f848a6f54ac5d32126cbe03c837cc68647752c403ce8f8be9db9533e6
nocross="clisp is nocross"
post_install() {