From nobody Sun Sep 21 20:01:38 2025 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4cVHFQ2B5vz67tk1; Sun, 21 Sep 2025 20:01:46 +0000 (UTC) (envelope-from alven@freebsd.org) Received: from smtp.freebsd.org (smtp.freebsd.org [IPv6:2610:1c1:1:606c::24b:4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "smtp.freebsd.org", Issuer "R13" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4cVHFP6zzZz3TyW; Sun, 21 Sep 2025 20:01:45 +0000 (UTC) (envelope-from alven@freebsd.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1758484906; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=PYlaySv4XUGvSG7zCYEhn6o7zsB4hQjSfeNs2enmSDQ=; b=XPu3K5eO9pL+8C2bQ1TKEuf/pmuuq7InmGKYgEn06OEQn7ja/eafSgGglPei5H5Ey9YDG8 xbV7t4k8XFCldqEd+Hi6Q46vNsarioiU2y6Lh148B9USmaFJqSdXFWfFi5870nr306+8eJ uCzB3vvSMI7MwWr7QJ11h4IUtp8SKLP6ZA/oJv7z+qNCLPVkqSpsLz4oCR1FRRLn3Hx96v YcNwoKm5wUyrMUALJ7xSMRVyJGWHc/AYH6FovQyGjTRQI2aj3PPqA6yztiLtUxgTS++w4T XSTqn8yHAmhrZPCZ7VSu+SXzwUuM3/ywcHfpv34gsmGwPxxQ0pHJN3/PmgvGUA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1758484906; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=PYlaySv4XUGvSG7zCYEhn6o7zsB4hQjSfeNs2enmSDQ=; b=uQg5ump581JraQTw+v82vZQGoukSxf9iTbOcs14sHJOIaBct+FvU7cdfR9wnelfVUrP9eF UJVV84rA9fQT97MfTV6ouZWLeoIbfy1CEy0ntYRZdevozBhKieHjRI1J1snYdkUAavvlfx aVToJoVdAcMb2tZ8iXl3lGA1+55n7+EiF67wRVp2yCq2HyVbIQYlwRS2WArmLASpvA34z3 1DgKWIM52WNuJL+sy5k0NMFQ+6zdDcHFbLY71eQhD3khReU54n8nvqDwIYxQ2pUeDJvOQf ow1s0QODtQ5e5uoWjf9ouujXQfu9lEbtlVG6xLQh/IYrW7zDJ2RSe1ySjYwb1A== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1758484906; a=rsa-sha256; cv=none; b=iDnHKfgPBkODBYYwMoKVVmw0TujVM0cbjL63qf3zeljoxyMdw2krSsQ4MhrZqvmyZJoxpA iPn2LBDnPOKkD5dptYV+ae8D+eeHG+ymB+q/CWskW3Z/F8iDGUsZ9SJpxblpPfxRlTsufP OL5c0a12wpm+/ACAfzXuLUIU192lYdq09As331kDktoduhJ4sCpTwecJYLqjoEJwD1TTR8 0RroCf4pbs7N+jk6he0ak8zIw8QqL/0fFtpNXv4dUJ4RVTloLOtBj4dTDyBFuJIegy2YeK a8ZseJXOqCye9ZkhQFtXHwaz4L/EPRq9ilMaCqBKKP1h5WOuYauKEXXeHuDorA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from arvika.vinterdalen.se (mx.borealis.vinterdalen.se [IPv6:2600:70ff:b270:56::2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) (Authenticated sender: alven) by smtp.freebsd.org (Postfix) with ESMTPSA id 4cVHFL5t6szCyZ; Sun, 21 Sep 2025 20:01:42 +0000 (UTC) (envelope-from alven@freebsd.org) From: =?utf-8?Q?=C3=84lven?= To: Daniel Engberg Cc: =?utf-8?Q?=C3=84lven?= , ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org, Yuri Victorovich Subject: Re: git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE In-Reply-To: <707892ba-dfbe-4e63-9bf0-803c13b6e276@FreeBSD.org> (Daniel Engberg's message of "Sun, 21 Sep 2025 21:02:54 +0200") References: <202509211747.58LHltiH038533@gitrepo.freebsd.org> <707892ba-dfbe-4e63-9bf0-803c13b6e276@FreeBSD.org> Disposition-Notification-To: =?utf-8?Q?=C3=84lven?= Date: Mon, 22 Sep 2025 00:01:38 +0400 Message-ID: <7zjz1ro9r1.fsf@arvika.vinterdalen.se> User-Agent: Gnus/5.13 (Gnus v5.13) List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Daniel Engberg writes: > On 2025-09-21 19:47, =C3=84lven wrote: >> The branch main has been updated by alven: >> >> URL:https://cgit.FreeBSD.org/ports/commit/?id=3D364ccd8596554c83c8407252= 19cf262e6d87fb71 >> >> commit 364ccd8596554c83c840725219cf262e6d87fb71 >> Author: =C3=84lven >> AuthorDate: 2025-09-21 13:57:44 +0000 >> Commit: =C3=84lven >> CommitDate: 2025-09-21 17:47:01 +0000 >> >> math/yices: Update 2.6.5 =3D> 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) >>=20=20=20=20=20=20 > Hi, > > This is wrong and only works by accident, it pulls the branch called > 2.7.0 not the tagged release. > > Best=C2=A0regards, > 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? =2D-=20 Best regards, =C3=84lven --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iKkFARYKACkiIQXdyOGrncKnjsNvRushCYhvmU6siO155TUm3/IO1M7m4wUCaNBZ ogAAtVIBx0IDRPNcbatHXSE3XchjYvwKppABTjQD+brHKDNPjy93RciqpfXGZJig c1Mvl9GbIubOGalZA68JAAHIhpe6jM9B+HotZk/FswMi7M5/puqKakTikJZKFgNA k4QSubLpjq2beLJaSqqJtAYngkHswnyPVB8A =i8z9 -----END PGP SIGNATURE----- --=-=-=--