wxMaxima: update to 20.02.0.

This commit is contained in:
mobinmob 2020-02-11 19:50:12 +02:00 committed by Juan RP
parent 25fc215ebc
commit ecf1eff0aa
1 changed files with 2 additions and 2 deletions

View File

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