mirror of
https://github.com/void-linux/void-packages.git
synced 2025-07-29 00:42:58 +02:00
glpk: update to 5.0.
This commit is contained in:
parent
e64dd67f43
commit
5354d8506b
1 changed files with 2 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
||||||
# Template file for 'glpk'
|
# Template file for 'glpk'
|
||||||
pkgname=glpk
|
pkgname=glpk
|
||||||
version=4.65
|
version=5.0
|
||||||
revision=1
|
revision=1
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--with-gmp"
|
configure_args="--with-gmp"
|
||||||
|
@ -10,7 +10,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
|
||||||
license="GPL-3"
|
license="GPL-3"
|
||||||
homepage="http://www.gnu.org/software/glpk/glpk.html"
|
homepage="http://www.gnu.org/software/glpk/glpk.html"
|
||||||
distfiles="${GNU_SITE}/glpk/${pkgname}-${version}.tar.gz"
|
distfiles="${GNU_SITE}/glpk/${pkgname}-${version}.tar.gz"
|
||||||
checksum=4281e29b628864dfe48d393a7bedd781e5b475387c20d8b0158f329994721a10
|
checksum=4a1013eebb50f728fc601bdd833b0b2870333c3b3e5a816eeba921d95bec6f15
|
||||||
|
|
||||||
glpk-devel_package() {
|
glpk-devel_package() {
|
||||||
short_desc+=" - development files"
|
short_desc+=" - development files"
|
||||||
|
|
Loading…
Add table
Reference in a new issue