polyml: update to 5.8.
This commit is contained in:
@@ -1,6 +1,6 @@
|
|||||||
# Template file for 'polyml'
|
# Template file for 'polyml'
|
||||||
pkgname=polyml
|
pkgname=polyml
|
||||||
version=5.7.1
|
version=5.8
|
||||||
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=d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028
|
checksum=6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf
|
||||||
nocross=yes
|
nocross=yes
|
||||||
|
|
||||||
# Since this is a compiler, no -devel package.
|
# Since this is a compiler, no -devel package.
|
||||||
|
|||||||
Reference in New Issue
Block a user