git: 6eae341539cc - main - math/yices: Fix distfile source specification

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=6eae341539cc508d89fab68f0dc10d935bad25f9

commit 6eae341539cc508d89fab68f0dc10d935bad25f9
Author:     Daniel Engberg <diizzy@FreeBSD.org>
AuthorDate: 2025-09-21 20:32:51 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-09-21 20:49:53 +0000

    math/yices: Fix distfile source specification
    
    Before it pulled the branch called 2.7.0 not the tagged release
    and only worked by accident.
    
    Tagged release:
    https://github.com/SRI-CSL/yices2/releases/tag/yices-2.7.0
    
    Branch:
    https://github.com/SRI-CSL/yices2/tree/2.7.0
    
    `make -V GH_TAGNAME`
    2.7.0
    
    GH_TAGNAME should be yices-${DISTVERSION}
    
    Reported by:    diizzy (via mailing list)
    Approved by:    yuri@  (Mentor, implicit)
    
    Fixes:          364ccd859655 * math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
---
 math/yices/Makefile | 1 +
 math/yices/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/math/yices/Makefile b/math/yices/Makefile
index cd6d762bbf38..2a3b3b2be87d 100644
--- a/math/yices/Makefile
+++ b/math/yices/Makefile
@@ -17,6 +17,7 @@ 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 01848f93f118..3fbfac6dd2ce 100644
--- a/math/yices/distinfo
+++ b/math/yices/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1758459988
-SHA256 (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 1fec19d9a72a79b731148ff904671a3502145912eaea0bee40e5d11d72ff6cc8
-SIZE (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 10460379
+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