Re: git: 1cee2d71d3c5 - main - devel/csmith: fix expiration date
- In reply to: Rene Ladan : "Re: git: 1cee2d71d3c5 - main - devel/csmith: fix expiration date"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 16 May 2025 04:46:21 UTC
On Thu, May 15, 2025 at 12:41:08PM +0000, Rene Ladan wrote: > On Thu, May 15, 2025 at 02:48:36PM +0300, Vladimir Druzenko wrote: > > 15.05.2025 14:38, Robert Clausecker пишет: > > > Am Thu, May 15, 2025 at 10:46:20AM +0000 schrieb Rene Ladan: > > > > commit 1cee2d71d3c51bcdb0b13eea0c628b6421ed0cea > > > > > > > > ... > > > > @@ -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. Hey Robert, That would definitely be nice as it certainly looks like a useful program to have ported. Too bad upstream is not very active and didn't tag a new release for quite some time. > > Check this PR: https://bugs.freebsd.org/286634 > > That PR is from Chris, a known hoarder of expired software. > Best to ignore and close it IMO. You might not like Chris' contributions but I don't think that he deserves this "oh just ignore him" attitude, that's mean and unfair. :( ./danfe