git: 09db11b3d208 - main - math/yices: Properly fix distfile source specification

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=09db11b3d2084155784a0c31cd429b28f7c78d57

commit 09db11b3d2084155784a0c31cd429b28f7c78d57
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-09-22 11:54:59 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-09-22 11:59:23 +0000

    math/yices: Properly fix distfile source specification
    
    Most of GH ports have DISTVERSIONPREXFIX=v, this one uses ${PORTNAME}
    
    Approved by:    yuri@ (Mentor, implicit)
    
    Fixes:  6eae341539cc * math/yices: Fix distfile source specification
---
 math/yices/Makefile | 4 ++--
 math/yices/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/math/yices/Makefile b/math/yices/Makefile
index 264e19c78cfc..3504a67f2473 100644
--- a/math/yices/Makefile
+++ b/math/yices/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	yices
+DISTVERSIONPREFIX=	${PORTNAME}-
 DISTVERSION=	2.7.0
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -18,7 +19,6 @@ USES=		autoreconf compiler:c11 gmake localbase
 USE_GITHUB=	yes
 GH_ACCOUNT=	SRI-CSL
 GH_PROJECT=	yices2
-GH_TAGNAME=	yices-${DISTVERSION}
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
diff --git a/math/yices/distinfo b/math/yices/distinfo
index 3fbfac6dd2ce..fbe526daa567 100644
--- a/math/yices/distinfo
+++ b/math/yices/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1758486511
-SHA256 (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
-SIZE (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 10461165
+TIMESTAMP = 1758542030
+SHA256 (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
+SIZE (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 10461165