wxMaxima: update to 14.09.0.
This commit is contained in:
parent
dedfc38140
commit
29135122a8
@ -1,18 +1,19 @@
|
||||
# Template file for 'wxMaxima'
|
||||
|
||||
pkgname="wxMaxima"
|
||||
version="13.04.2"
|
||||
revision=5
|
||||
pkgname=wxMaxima
|
||||
version=14.09.0
|
||||
revision=1
|
||||
build_style=gnu-configure
|
||||
configure_args="--enable-printing"
|
||||
short_desc="Document based Interface for maxima"
|
||||
maintainer="Martin Riese <grauehaare@gmx.de>"
|
||||
license="GPL"
|
||||
license="GPL-2"
|
||||
homepage="http://andrejv.github.io/wxmaxima/"
|
||||
makedepends="maxima wxWidgets-devel>=3.0 desktop-file-utils"
|
||||
depends="maxima desktop-file-utils"
|
||||
distfiles="${SOURCEFORGE_SITE}/wxmaxima/${pkgname}-${version}.tar.gz"
|
||||
checksum="29352db75dd3ff27393ab0971543fd0b3c3a9c330c2c8d07ebfd373741ded4eb"
|
||||
distfiles="${SOURCEFORGE_SITE}/wxmaxima/wxmaxima-${version}.tar.gz"
|
||||
checksum=584f95619401ba11ea277bc84e86add41edd918b934cdc487a3b31f95ae211f3
|
||||
wrksrc=wxmaxima-${version}
|
||||
|
||||
post_install() {
|
||||
# Fix category in .desktop file
|
||||
|
Loading…
x
Reference in New Issue
Block a user