diff --git a/math/libpoly/Makefile b/math/libpoly/Makefile
index 73bbff5f10a2..f77da6122d90 100644
--- a/math/libpoly/Makefile
+++ b/math/libpoly/Makefile
@@ -1,28 +1,28 @@
 PORTNAME=	libpoly
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.1.12
+DISTVERSION=	0.1.13
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	C library for manipulating polynomials
 WWW=		https://github.com/SRI-CSL/libpoly
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENCE
 
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		cmake:testing
 USE_GITHUB=	yes
 GH_ACCOUNT=	SRI-CSL
 USE_LDCONFIG=	yes
 
 CMAKE_OFF=	LIBPOLY_BUILD_PYTHON_API LIBPOLY_BUILD_STATIC LIBPOLY_BUILD_STATIC_PIC
 
 .include <bsd.port.pre.mk>
 
 .if ${OPSYS} == FreeBSD && ( ${OSVERSION} >= 1400079 || ( ${OSVERSION} >= 1302505 && ${OSVERSION} < 1400000 ))
 CFLAGS+=       -Wno-error=unused-but-set-variable
 .endif
 
 .include <bsd.port.post.mk>
diff --git a/math/libpoly/distinfo b/math/libpoly/distinfo
index f746be9422d1..2aa21f240000 100644
--- a/math/libpoly/distinfo
+++ b/math/libpoly/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1690609443
-SHA256 (SRI-CSL-libpoly-v0.1.12_GH0.tar.gz) = 446a58f51674a5594dfef698a982ed13ca5ae8263dd28157dc90725d16102bff
-SIZE (SRI-CSL-libpoly-v0.1.12_GH0.tar.gz) = 621719
+TIMESTAMP = 1690956239
+SHA256 (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = ca7092eeeced3dd8bd86cdd3410207802ef1752d7052d92eee3e9e6bb496763c
+SIZE (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = 621704
diff --git a/math/libpoly/pkg-plist b/math/libpoly/pkg-plist
index 66a84c42ef40..5b978415ec13 100644
--- a/math/libpoly/pkg-plist
+++ b/math/libpoly/pkg-plist
@@ -1,49 +1,49 @@
 include/poly/algebraic_number.h
 include/poly/assignment.h
 include/poly/dyadic_interval.h
 include/poly/dyadic_rational.h
 include/poly/feasibility_set.h
 include/poly/integer.h
 include/poly/interval.h
 include/poly/monomial.h
 include/poly/output_language.h
 include/poly/poly.h
 include/poly/polynomial.h
 include/poly/polynomial_context.h
 include/poly/polynomial_hash_set.h
 include/poly/polynomial_vector.h
 include/poly/polyxx.h
 include/poly/polyxx/algebraic_number.h
 include/poly/polyxx/assignment.h
 include/poly/polyxx/context.h
 include/poly/polyxx/dyadic_interval.h
 include/poly/polyxx/dyadic_rational.h
 include/poly/polyxx/integer.h
 include/poly/polyxx/integer_ring.h
 include/poly/polyxx/interval.h
 include/poly/polyxx/interval_assignment.h
 include/poly/polyxx/polynomial.h
 include/poly/polyxx/polynomial_utils.h
 include/poly/polyxx/rational.h
 include/poly/polyxx/rational_interval.h
 include/poly/polyxx/sign_condition.h
 include/poly/polyxx/upolynomial.h
 include/poly/polyxx/utils.h
 include/poly/polyxx/value.h
 include/poly/polyxx/variable.h
 include/poly/rational.h
 include/poly/rational_interval.h
 include/poly/sign_condition.h
 include/poly/upolynomial.h
 include/poly/upolynomial_factors.h
 include/poly/value.h
 include/poly/variable_db.h
 include/poly/variable_list.h
 include/poly/variable_order.h
 include/poly/version.h
 lib/libpoly.so
 lib/libpoly.so.0
-lib/libpoly.so.0.1.11
+lib/libpoly.so.0.1.13
 lib/libpolyxx.so
 lib/libpolyxx.so.0
-lib/libpolyxx.so.0.1.11
+lib/libpolyxx.so.0.1.13
diff --git a/math/py-libpoly/Makefile b/math/py-libpoly/Makefile
index 33645d73e102..b359ef7ddb5c 100644
--- a/math/py-libpoly/Makefile
+++ b/math/py-libpoly/Makefile
@@ -1,37 +1,37 @@
 PORTNAME=	libpoly
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.1.12
+DISTVERSION=	0.1.13
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Python binding for libpoly
 WWW=		https://github.com/SRI-CSL/libpoly
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENCE
 
 LIB_DEPENDS=	libpoly.so:math/libpoly
 
 USES=		cmake localbase:ldflags python
 USE_GITHUB=	yes
 GH_ACCOUNT=	SRI-CSL
 USE_LDCONFIG=	yes
 USE_PYTHON=	distutils autoplist
 
 CFLAGS+=	-I${WRKSRC}/include
 LDFLAGS+=	-lpoly
 
 BUILD_WRKSRC=	${WRKSRC}/python
 INSTALL_WRKSRC=	${WRKSRC}/python
 TEST_WRKSRC=	${WRKSRC}/test/python
 
 TEST_ENV=      ${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}
 
 post-install:
 	${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/polypy*.so
 
 do-test:
 	@cd ${WRKSRC}/test/python && ${SETENV} ${TEST_ENV} ${PYTHON_CMD} ./check.py
 
 .include <bsd.port.mk>
diff --git a/math/py-libpoly/distinfo b/math/py-libpoly/distinfo
index df20bec51eed..e330d9e2086b 100644
--- a/math/py-libpoly/distinfo
+++ b/math/py-libpoly/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1690611442
-SHA256 (SRI-CSL-libpoly-v0.1.12_GH0.tar.gz) = 446a58f51674a5594dfef698a982ed13ca5ae8263dd28157dc90725d16102bff
-SIZE (SRI-CSL-libpoly-v0.1.12_GH0.tar.gz) = 621719
+TIMESTAMP = 1690956795
+SHA256 (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = ca7092eeeced3dd8bd86cdd3410207802ef1752d7052d92eee3e9e6bb496763c
+SIZE (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = 621704