tech-pkg archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: bulk builds status on NetBSD 10

To: tech-pkg%NetBSD.org@localhost
Subject: Re: bulk builds status on NetBSD 10
From: David Holland <dholland-pkgtech%netbsd.org@localhost>
Date: Sun, 23 Mar 2025 21:58:35 +0000

On Sun, Mar 23, 2025 at 09:56:40PM +0000, David Holland wrote:
 >  > devel/frama-c                                tonio%NetBSD.org@localhost
 >  > -> broken, I think, by the why3 update
 > 
 > It is five major versions behind, probably it just needs updating.

("just". The last time I updated it, it turned out to be a fairly big
job.)

-- 
David A. Holland
dholland%netbsd.org@localhost

References:
- bulk builds status on NetBSD 10
  - From: Thomas Klausner
- Re: bulk builds status on NetBSD 10
  - From: David Holland

Prev by Date: Re: bulk builds status on NetBSD 10
Next by Date: Re: Regarding MESSAGEs during pkg_add installation of meta packages
Previous by Thread: Re: bulk builds status on NetBSD 10
Next by Thread: (ham/freedv) by codec2 update (Re: bulk builds status on NetBSD 10
Indexes:

Home | Main Index | Thread Index | Old Index