Re: git: 7f087b720e52 - main - devel/cbmc: add new port

From: Olivier_Cochard-Labbé <olivier_at_freebsd.org>
Date: Wed, 21 Feb 2024 14:37:44 UTC 
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