diff --git a/srcpkgs/polyml/template b/srcpkgs/polyml/template index 9cc75eafbc5..9c178019314 100644 --- a/srcpkgs/polyml/template +++ b/srcpkgs/polyml/template @@ -1,6 +1,6 @@ # Template file for 'polyml' pkgname=polyml -version=5.7 +version=5.7.1 revision=1 build_style=gnu-configure configure_args="--with-system-libffi --enable-shared" @@ -21,7 +21,7 @@ maintainer="Leah Neukirchen " license="LGPL-2.1" homepage="http://www.polyml.org/" distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz" -checksum=19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279 +checksum=d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028 nocross=yes # Since this is a compiler, no -devel package.