wxMaxima: update to 19.07.0.

This commit is contained in:
Piotr Wójcik 2019-07-17 22:46:20 +02:00 committed by Piotr
parent 4c90886c45
commit b1e9a0d6bd
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'wxMaxima'
pkgname=wxMaxima
version=19.05.7
version=19.07.0
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=06da51b6032dd5941b6ef09f8d7705f7c0a14b8dc7d0065f571369df9c339b7a
checksum=16237f22cf76ecb9159e536bbb121e89ac5ad043843a5f32aaac74f0b409c658
nocross="clisp is nocross"
post_install() {