wxMaxima: update to 16.12.1
This commit is contained in:
parent
50d4d87ff5
commit
bbe427720e
|
@ -1,6 +1,6 @@
|
||||||
# Template file for 'wxMaxima'
|
# Template file for 'wxMaxima'
|
||||||
pkgname=wxMaxima
|
pkgname=wxMaxima
|
||||||
version=16.12.0
|
version=16.12.1
|
||||||
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=30d4fcf2b33349fb60d13f7efcd0d9b5460915fa7065665a2c7c291c77d26a06
|
checksum=e13d4c28f7b4dd26fb29d0b9a1697622c5aa627d17cf4cc9c598d19af8acb09e
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
# Fix .desktop file
|
# Fix .desktop file
|
||||||
|
|
Loading…
Reference in New Issue