[pkgsrc/trunk]: pkgsrc/doc Updated lang/polyml to 5.7.1.

[alnsn <alnsn%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/10236e545851
branches:  trunk
changeset: 333243:10236e545851
user:      alnsn <alnsn%pkgsrc.org@localhost>
date:      Thu May 02 18:26:04 2019 +0000

description:
Updated lang/polyml to 5.7.1.

diffstat:

 doc/CHANGES-2019 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r 56a562399189 -r 10236e545851 doc/CHANGES-2019
--- a/doc/CHANGES-2019  Thu May 02 18:24:58 2019 +0000
+++ b/doc/CHANGES-2019  Thu May 02 18:26:04 2019 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.1943 2019/05/02 15:50:00 ryoon Exp $
+$NetBSD: CHANGES-2019,v 1.1944 2019/05/02 18:26:04 alnsn Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -3137,3 +3137,4 @@
        Updated lang/php73 to 7.3.5 [taca 2019-05-02]
        Updated sysutils/coreutils to 8.29nb2 [jperkin 2019-05-02]
        Updated fonts/ipaexfont to 00401 [ryoon 2019-05-02]
+       Updated lang/polyml to 5.7.1 [alnsn 2019-05-02]