ports/168180: update port: lang/polyml

[Timothy Beyer]

>Number:         168180
>Category:       ports
>Synopsis:       update port: lang/polyml
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Mon May 21 00:00:10 UTC 2012
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Beyer
>Release:        FreeBSD 9.0-RELEASE i386
>Organization:
no organization
>Environment:
System: FreeBSD aeonserv.aeonnet 9.0-RELEASE-p1 FreeBSD 9.0-RELEASE-p1 #11: Fri May 11 22:49:12 PDT 2012 root at aeonserv.aeonnet:/usr/obj/usr/src/sys/CUSTOM  i386

>Description:

- Update to version 5.4.1.

>How-To-Repeat:
apply the patch and build

>Fix:
    Apply the patch and build

--- polyml.diff begins here ---
Index: Makefile
==================================================================
--- Makefile
+++ Makefile
@@ -4,11 +4,11 @@
 #
 # $FreeBSD: ports/lang/polyml/Makefile,v 1.14 2010/10/19 21:51:58 pav Exp $
 #
 
 PORTNAME=	polyml
-PORTVERSION=	5.4
+PORTVERSION=	5.4.1
 CATEGORIES=	lang
 MASTER_SITES=	SF
 DISTNAME=	${PORTNAME}.${PORTVERSION}
 DIST_SUBDIR=	${PORTNAME}
 

Index: distinfo
==================================================================
--- distinfo
+++ distinfo
@@ -1,2 +1,2 @@
-SHA256 (polyml/polyml.5.4.tar.gz) = 64b4e23fc2e5bab00899027d805d311025dfb192f55089729b0d18313fa96bfa
-SIZE (polyml/polyml.5.4.tar.gz) = 6107333
+SHA256 (polyml/polyml.5.4.1.tar.gz) = 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac
+SIZE (polyml/polyml.5.4.1.tar.gz) = 6107319

--- polyml.diff ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted: