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