Index: head/math/yices/Makefile
===================================================================
--- head/math/yices/Makefile	(revision 531032)
+++ head/math/yices/Makefile	(revision 531033)
@@ -1,32 +1,33 @@
 # $FreeBSD$
 
 PORTNAME=	yices
-DISTVERSION=	2.6.1
+DISTVERSION=	2.6.2
 CATEGORIES=	math
-MASTER_SITES=	http://yices.csl.sri.com/releases/${DISTVERSION}/
+MASTER_SITES=	https://yices.csl.sri.com/releases/${DISTVERSION}/
 DISTNAME=	${PORTNAME}-${DISTVERSION}-src
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SMT solver
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BUILD_DEPENDS=	gperf:devel/gperf
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		gmake localbase
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-pic-gmp=${LOCALBASE}/lib/libgmp.so
 USE_LDCONFIG=	yes
 
 MAKE_ARGS=	YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
 CFLAGS+=	-fPIC
 
 WRKSRC=		${WRKDIR}/${PORTNAME}-${DISTVERSION}
 
 post-install:
+	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
 	@${RM} ${STAGEDIR}${PREFIX}/lib/*.a
 	@cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libyices.so.2.6 libyices.so && ${LN} -s libyices.so.2.6 libyices.so.2
 
 .include <bsd.port.mk>
Index: head/math/yices/distinfo
===================================================================
--- head/math/yices/distinfo	(revision 531032)
+++ head/math/yices/distinfo	(revision 531033)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1540701574
-SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e
-SIZE (yices-2.6.1-src.tar.gz) = 5419404
+TIMESTAMP = 1586295390
+SHA256 (yices-2.6.2-src.tar.gz) = 1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a
+SIZE (yices-2.6.2-src.tar.gz) = 6014634
Index: head/math/yices/pkg-descr
===================================================================
--- head/math/yices/pkg-descr	(revision 531032)
+++ head/math/yices/pkg-descr	(revision 531033)
@@ -1,11 +1,11 @@
 Yices 2 is an SMT solver that decides the satisfiability of formulas containing
 uninterpreted function symbols with equality, real and integer arithmetic,
 bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear
 arithmetic.
 
 Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and
 1.2 are supported). Alternatively, you can write specifications using Yices 2's
 own specification language, which includes tuples and scalar types. You can also
 use Yices 2 as a library in your software.
 
-WWW: http://yices.csl.sri.com/
+WWW: https://yices.csl.sri.com/
Index: head/math/yices/pkg-plist
===================================================================
--- head/math/yices/pkg-plist	(revision 531032)
+++ head/math/yices/pkg-plist	(revision 531033)
@@ -1,13 +1,14 @@
-bin/yices_main
+bin/yices
 bin/yices_sat
 bin/yices_sat_new
 bin/yices_smt
 bin/yices_smt2
+bin/yices_smt2_mt
 bin/yices_smtcomp
 include/yices.h
 include/yices_exit_codes.h
 include/yices_limits.h
 include/yices_types.h
 lib/libyices.so
 lib/libyices.so.2
 lib/libyices.so.2.6