wxMaxima: update to 16.12.2
This commit is contained in:
parent
0eff37d440
commit
d57258d1f9
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=16.12.1
|
version=16.12.2
|
||||||
revision=1
|
revision=1
|
||||||
wrksrc="wxmaxima-${version}"
|
wrksrc="wxmaxima-${version}"
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
|
@ -12,7 +12,7 @@ maintainer="Martin Riese <grauehaare@gmx.de>"
|
||||||
homepage="https://andrejv.github.io/wxmaxima/"
|
homepage="https://andrejv.github.io/wxmaxima/"
|
||||||
license="GPL-2"
|
license="GPL-2"
|
||||||
distfiles="${SOURCEFORGE_SITE}/wxmaxima/wxmaxima-${version}.tar.gz"
|
distfiles="${SOURCEFORGE_SITE}/wxmaxima/wxmaxima-${version}.tar.gz"
|
||||||
checksum=e13d4c28f7b4dd26fb29d0b9a1697622c5aa627d17cf4cc9c598d19af8acb09e
|
checksum=42c0a4dfb2e2ad349a49b117ef7c2e251292fb252ce9fde16242760f3dfc4278
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
# Fix .desktop file
|
# Fix .desktop file
|
||||||
|
|
Loading…
Reference in a new issue