diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index dbcda89eb5bc..453a7fb920a2 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,43 +1,43 @@
 # Created by: Timothy Bourke <timbob@bigpond.com>
 
 PORTNAME=	polyml
-PORTVERSION=	5.8.2
+PORTVERSION=	5.9
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
 
 MAINTAINER=	beyert@cs.ucr.edu
 COMMENT=	Fast open-source implementation of Standard ML
 
 LICENSE=	LGPL21
 
 ONLY_FOR_ARCHS=	aarch64 amd64 i386
 
 LIB_DEPENDS=	libffi.so:devel/libffi
 
 USES=		libtool localbase pathfix pkgconfig
 USE_GITHUB=	yes
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 
 INSTALL_TARGET=	install-strip
 
 OPTIONS_DEFINE=	MOTIF GMP INTINF_AS_INT
 OPTIONS_DEFAULT=GMP INTINF_AS_INT
 
 INTINF_AS_INT_DESC=	Use IntInf.int as int type
 
 GMP_LIB_DEPENDS=	libgmp.so:math/gmp
 GMP_CONFIGURE_WITH=	gmp
 INTINF_AS_INT_CONFIGURE_ENABLE=	intinf-as-int
 MOTIF_USES=		motif xorg
 MOTIF_USE=		xorg=x11,xext,xt
 MOTIF_CONFIGURE_WITH=	x
 
 post-patch:
 	@${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure
 	@${REINPLACE_CMD} -e 's| modules||' ${WRKSRC}/Makefile.in
 
 .include <bsd.port.mk>
diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo
index 03cc941dafbf..b72855ee9b54 100644
--- a/lang/polyml/distinfo
+++ b/lang/polyml/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1623290848
-SHA256 (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 310b0ba748a50f38e99de7f65ba990bc4b4f4b0123ad76aba4c44d7cd1ed9277
-SIZE (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 8819392
+TIMESTAMP = 1641606337
+SHA256 (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 5aa452a49f2ac0278668772af4ea0b9bf30c93457e60ff7f264c5aec2023c83e
+SIZE (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 3764115
diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist
index 3ae946f2b928..b8b0712ddd64 100644
--- a/lang/polyml/pkg-plist
+++ b/lang/polyml/pkg-plist
@@ -1,12 +1,12 @@
 bin/poly
 bin/polyc
 bin/polyimport
 lib/libpolymain.a
 lib/libpolyml.a
 lib/libpolyml.so
-lib/libpolyml.so.12
-lib/libpolyml.so.12.0.0
+lib/libpolyml.so.13
+lib/libpolyml.so.13.0.0
 libdata/pkgconfig/polyml.pc
 man/man1/poly.1.gz
 man/man1/polyc.1.gz
 man/man1/polyimport.1.gz