wxMaxima: update to 15.08.2.
This commit is contained in:
parent
2b25052542
commit
a0a63237be
@ -1,6 +1,6 @@
|
|||||||
# Template file for 'wxMaxima'
|
# Template file for 'wxMaxima'
|
||||||
pkgname=wxMaxima
|
pkgname=wxMaxima
|
||||||
version=15.04.0
|
version=15.08.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="http://andrejv.github.io/wxmaxima/"
|
homepage="http://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=c178067a2f75d91dd378f88b4d0f87af6b2705ca32bea509d63e7347b2a1d21e
|
checksum=7ad3f018e42d15d06bee5af10053edb72e441c1d1feee318dc6eb927db6a26c5
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
# Fix .desktop file
|
# Fix .desktop file
|
||||||
|
Loading…
x
Reference in New Issue
Block a user