Re: git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
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