wxMaxima: update to 19.12.4.

This commit is contained in:
mobinmob 2019-12-28 21:19:53 +02:00 committed by Juan RP
parent 2be0cf8084
commit 55683071eb
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'wxMaxima'
pkgname=wxMaxima
version=19.12.1
version=19.12.4
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=ce37361141821ce58cd3be5c316c40a8f19b741eb20c936d86152bfae1f101f5
checksum=530f8023b31d109e04385b7357b585ec539f6366aa07090544f81c9493baef5e
nocross="clisp is nocross"
post_install() {