Re: git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
Date: Sun, 21 Sep 2025 20:01:38 UTC
Daniel Engberg <diizzy@FreeBSD.org> writes: > 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 Hi, Thank you for checking this. I just don't understand what went wrong according to you. Could you, please, explain it in more detail? -- Best regards, Älven