mirror of
https://github.com/void-linux/void-packages.git
synced 2025-07-31 09:52:57 +02:00
polyml: update to 5.7.1.
This commit is contained in:
parent
fc31b5112f
commit
c8dd2766fc
1 changed files with 2 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
||||||
# Template file for 'polyml'
|
# Template file for 'polyml'
|
||||||
pkgname=polyml
|
pkgname=polyml
|
||||||
version=5.7
|
version=5.7.1
|
||||||
revision=1
|
revision=1
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--with-system-libffi --enable-shared"
|
configure_args="--with-system-libffi --enable-shared"
|
||||||
|
@ -21,7 +21,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
|
||||||
license="LGPL-2.1"
|
license="LGPL-2.1"
|
||||||
homepage="http://www.polyml.org/"
|
homepage="http://www.polyml.org/"
|
||||||
distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz"
|
distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz"
|
||||||
checksum=19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279
|
checksum=d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028
|
||||||
nocross=yes
|
nocross=yes
|
||||||
|
|
||||||
# Since this is a compiler, no -devel package.
|
# Since this is a compiler, no -devel package.
|
||||||
|
|
Loading…
Add table
Reference in a new issue