tech-pkg archive
[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index][
Old Index]
Re: bulk builds status on NetBSD 10
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
Home |
Main Index |
Thread Index |
Old Index