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>
next in thread | previous in thread | raw e-mail | index | archive | help
--000000000000c56f8f0611e545d2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Fri, Feb 2, 2024 at 1:05=E2=80=AFAM 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 --000000000000c56f8f0611e545d2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon= t-family:"courier new",monospace"><br></div></div><div class=3D"g= mail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Feb 2, 2024 at 1:= 05=E2=80=AFAM Daniel Engberg <<a href=3D"mailto:daniel.engberg.lists@pyr= et.net">daniel.engberg.lists@pyret.net</a>> wrote:<br></div><blockquote = class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px sol= id 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=3D"white-space:normal"><div><br></div></pre></blockquote></div><= div>Hi,<br></div><div><br></div><div>Are these patches upstreamed or backpo= rted?<br></div><div><br></div><div><br></div></blockquote><div><br></div><d= iv class=3D"gmail_default" style=3D"font-family:"courier new",mon= ospace">Hi,</div><div class=3D"gmail_default" style=3D"font-family:"co= urier new",monospace"><br></div><div class=3D"gmail_default" style=3D"= font-family:"courier new",monospace">The minisat patches came fro= m the cbmc archive scripts/*.patch directory.</div><div class=3D"gmail_defa= ult" style=3D"font-family:"courier new",monospace">The others wer= e backported.</div><div class=3D"gmail_default" style=3D"font-family:"= courier new",monospace"><br></div><div class=3D"gmail_default" style= =3D"font-family:"courier new",monospace">Regards,</div><div class= =3D"gmail_default" style=3D"font-family:"courier new",monospace">= <br></div><div class=3D"gmail_default" style=3D"font-family:"courier n= ew",monospace">Olivier</div></div></div> --000000000000c56f8f0611e545d2--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CA%2Bq%2BTcr99OXXgX%2B_Od5=SSX_pnZqQVhFJFHJSaFwUu2d9Vkv0A>