wxMaxima: update to 19.01.03
This commit is contained in:
parent
d67b1fd183
commit
d614d58180
1 changed files with 2 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
||||||
# Template file for 'wxMaxima'
|
# Template file for 'wxMaxima'
|
||||||
pkgname=wxMaxima
|
pkgname=wxMaxima
|
||||||
version=19.01.2
|
version=19.01.3
|
||||||
revision=1
|
revision=1
|
||||||
wrksrc="wxmaxima-Version-${version}"
|
wrksrc="wxmaxima-Version-${version}"
|
||||||
build_style=cmake
|
build_style=cmake
|
||||||
|
@ -12,7 +12,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=ebef1fe4a6c26380bde07bb7d18cad9dbfc0e8e4679ad5c25b012255dfb24870
|
checksum=235dfbac6614aea331c1e051e0705ce191122f050b9cbac74cc5750a718497a0
|
||||||
nocross="clisp is nocross"
|
nocross="clisp is nocross"
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
|
|
Loading…
Reference in a new issue