Hi, Le samedi 15 juin 2024 à 16:43 +0200, Johannes Schauer Marin Rodrigues a écrit : > > Quoting Johannes Schauer Marin Rodrigues (2024-06-15 14:03:34) > > > > Julien, do you want to take care of that rebuild or should I? >
Sorry I was away for most of the weekend, but yes, I didn't test my last change correctly and broke things. > I built them all using sbuild in unstable and found the following to > fail: > > botch: #1073199 > coq-serapi: 1073269 > elpi: #1073275 > > Gianfranco just NMU-ed botch, so #1073199 should be taken care of. > Julien maintains elpi, so they probably can figure out how to fix > this. The build log of coq-serapi might indicate that something in > the last yojson upload (which included an upstream version bump) > broke it. Can you investigate? Thanks to Gianfranco for fixing botch. I just fixed elpi. I'll also take care of coq-serapi. This package is a problem - I wonder if I shouldn't have waited some more before packaging it: upstream is moving things around in different packages like crazy, so it's bound to break too often for my taste and my attention span. > In summary: I do not think that a Depends from the dev package on the > tools package is needed. Adrian, do you agree? Not needed! Cheers, JP