Re: git: 1cee2d71d3c5 - main - devel/csmith: fix expiration date

Am Thu, May 15, 2025 at 10:46:20AM +0000 schrieb Rene Ladan:
> The branch main has been updated by rene:
> 
> URL: https://cgit.FreeBSD.org/ports/commit/?id=1cee2d71d3c51bcdb0b13eea0c628b6421ed0cea
> 
> commit 1cee2d71d3c51bcdb0b13eea0c628b6421ed0cea
> Author:     Rene Ladan <rene@FreeBSD.org>
> AuthorDate: 2025-05-15 10:45:54 +0000
> Commit:     Rene Ladan <rene@FreeBSD.org>
> CommitDate: 2025-05-15 10:45:54 +0000
> 
>     devel/csmith: fix expiration date
> ---
>  devel/csmith/Makefile | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/devel/csmith/Makefile b/devel/csmith/Makefile
> index 07c0d1a586a0..15e8a896c2a1 100644
> --- a/devel/csmith/Makefile
> +++ b/devel/csmith/Makefile
> @@ -11,7 +11,7 @@ LICENSE=	BSD2CLAUSE
>  
>  BROKEN=		Unfetchable
>  DEPRECATED=	Unmaintained for years
> -EXPIRATION_DATE=2024-06-30
> +EXPIRATION_DATE=2025-06-30
>  
>  USES=		gmake libtool localbase perl5 shebangfix
>  USE_CXXSTD=	c++11

I've hacked on csmith in the past (we tried to use it to generate pre-
and postcondition annotations for Frama C); I'll try to pick it up and
update it to the current github master branch.

Yours,
Robert Clausecker

-- 
()  ascii ribbon campaign - for an encoding-agnostic world
/\  - against html email  - against proprietary attachments