Bug#1068174: yosys: Please package the latest upstream release

[Daniel Gröber]

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