Date: Wed, 21 Feb 2024 15:37:44 +0100 From: =?UTF-8?Q?Olivier_Cochard=2DLabb=C3=A9?= <olivier@freebsd.org> To: Daniel Engberg <daniel.engberg.lists@pyret.net> Cc: ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org Subject: Re: git: 7f087b720e52 - main - devel/cbmc: add new port Message-ID: <CA%2Bq%2BTcr99OXXgX%2B_Od5=SSX_pnZqQVhFJFHJSaFwUu2d9Vkv0A@mail.gmail.com> In-Reply-To: <379c7ddb410058469dcda4f67b45caa9@mail.infomaniak.com> References: <202402011755.411Ht9G8016149@gitrepo.freebsd.org> <379c7ddb410058469dcda4f67b45caa9@mail.infomaniak.com>
index | next in thread | previous in thread | raw e-mail
[-- Attachment #1 --] On Fri, Feb 2, 2024 at 1:05 AM Daniel Engberg < daniel.engberg.lists@pyret.net> wrote: > On 2024-02-01T18:55:09.000+01:00, Olivier Cochard <olivier@FreeBSD.org> > wrote: > > > Hi, > > Are these patches upstreamed or backported? > > > Hi, The minisat patches came from the cbmc archive scripts/*.patch directory. The others were backported. Regards, Olivier [-- Attachment #2 --] <div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:"courier new",monospace"><br></div></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Feb 2, 2024 at 1:05 AM Daniel Engberg <<a href="mailto:daniel.engberg.lists@pyret.net">daniel.engberg.lists@pyret.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>On 2024-02-01T18:55:09.000+01:00, Olivier Cochard <olivier@FreeBSD.org> wrote:</div><div><blockquote><pre style="white-space:normal"><div><br></div></pre></blockquote></div><div>Hi,<br></div><div><br></div><div>Are these patches upstreamed or backported?<br></div><div><br></div><div><br></div></blockquote><div><br></div><div class="gmail_default" style="font-family:"courier new",monospace">Hi,</div><div class="gmail_default" style="font-family:"courier new",monospace"><br></div><div class="gmail_default" style="font-family:"courier new",monospace">The minisat patches came from the cbmc archive scripts/*.patch directory.</div><div class="gmail_default" style="font-family:"courier new",monospace">The others were backported.</div><div class="gmail_default" style="font-family:"courier new",monospace"><br></div><div class="gmail_default" style="font-family:"courier new",monospace">Regards,</div><div class="gmail_default" style="font-family:"courier new",monospace"><br></div><div class="gmail_default" style="font-family:"courier new",monospace">Olivier</div></div></div>home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CA%2Bq%2BTcr99OXXgX%2B_Od5=SSX_pnZqQVhFJFHJSaFwUu2d9Vkv0A>