Hi Larry, (moving our private discussion to the BTS and lists for visibility and looping in potentially interested people)
On Mon, Jan 06, 2025 at 04:56:50PM +0100, Daniel Gröber wrote: > On Sat, Dec 28, 2024 at 11:31:06PM -0800, Larry Doolittle wrote: > > On Tue, Dec 17, 2024 at 10:21:27PM -0800, Larry Doolittle wrote: > > > > If you're serious about keeping tabs on yosys you should subscribe > > > > to the package via a PTS account at https://tracker.debian.org. > > > OK. I'll look into that. > > > > OK. Done. I've looked closely at Since one of the hardest problems in Debian is subscribing to the right mail streams I'm wondering, did you get the "failed all build of yosys 0.33-6" mail? > Excellent analysis, good reminder. Just uploaded -6 let's see how it goes: > > https://buildd.debian.org/status/package.php?p=yosys&suite=sid Not so well it turns out https://buildd.debian.org/status/fetch.php?pkg=yosys&arch=all&ver=0.33-6&stamp=1736180706&raw=0 When I looked at this on my phone a while back I only saw the big "Proof failed!" ASCII banner and thought everything is fucked again, but it turns out it's probably just a latex problem: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093368 and that issue even comes with a patch (Thanks Hilmar). I'd appreciate someone build testing that and maybe attaching the resulting pdf :-) (Make sure you're seeing the `debian/rules binary-indep` target get called (early) during the build however you end up calling your favorite Debian build tool. Thanks, --Daniel -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
