Re: git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE

From: Daniel Engberg <diizzy_at_FreeBSD.org>
Date: Sun, 21 Sep 2025 19:02:54 UTC
On 2025-09-21 19:47, Älven wrote:
> The branch main has been updated by alven:
>
> URL:https://cgit.FreeBSD.org/ports/commit/?id=364ccd8596554c83c840725219cf262e6d87fb71
>
> commit 364ccd8596554c83c840725219cf262e6d87fb71
> Author:     Älven<alven@FreeBSD.org>
> AuthorDate: 2025-09-21 13:57:44 +0000
> Commit:     Älven<alven@FreeBSD.org>
> CommitDate: 2025-09-21 17:47:01 +0000
>
>      math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
>      
>      Changelogs:
>      *https://yices.csl.sri.com/release-notes.html
>      *https://github.com/SRI-CSL/yices2/compare/Yices-2.6.5...yices-2.7.0
>      
>      * Switch MASTER_SITES to Github as upstream official site doesn't
>      contain tarball for 2.7.0
>      * Add second WWW for source code repository
>      * Correct LICENSE and LICENSE_FILE
>      * Have test issue closed
>        https://github.com/SRI-CSL/yices2/issues/523
>      * Mark as PIE_UNSAFE
>      
>      Approved by:    yuri@ (maintainer, Mentor)
>      
Hi,

This is wrong and only works by accident, it pulls the branch called 
2.7.0 not the tagged release.

Best regards,
Daniel