Quoting Johannes Schauer Marin Rodrigues (2024-06-15 13:49:49) > Control: merge -1 1073199
Sorry, I mixed this up (and luckily the bts stopped me from merging). So the reason for why there is no a tools package is, that I argued that it would be nice if the tools found in /usr/bin would not be part of the -dev package but in its own package to decrease the number of dependencies. If the -dev package starts depending on the tools package, this advantage would be lost. How about doing a rebuild of the reverse dependencies of yojson and see what breaks? My gut feeling is, that botch is the only one affected by this. Julien, do you want to take care of that rebuild or should I? Thanks! cheers, josch
signature.asc
Description: signature
