wxMaxima: update to 19.05.7.
This commit is contained in:
parent
e36181d749
commit
04a5cbdea7
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.05.3
|
version=19.05.7
|
||||||
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=dffca11f848a6f54ac5d32126cbe03c837cc68647752c403ce8f8be9db9533e6
|
checksum=06da51b6032dd5941b6ef09f8d7705f7c0a14b8dc7d0065f571369df9c339b7a
|
||||||
nocross="clisp is nocross"
|
nocross="clisp is nocross"
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
|
|
Loading…
Reference in a new issue