From 1674497351fb33d868983c88ade2535c937f88ca Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 12 Mar 2019 10:43:55 +0100
Subject: [PATCH] polyml: update to 5.8.

---
 srcpkgs/polyml/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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