Hi Gianfranco On 2025/04/06 09:10, Gianfranco Costamagna wrote:
Also,https://wiki.debian.org/Debuginfod sounds nice, but the service is run outside Debian (on a .debian.net domain). Was it discussed making it part of Debian? As the DPL, what do you pushes people to maintain such services outside Debian, and what would you do to improve on that?
>
I would like to see a debuginfod server running on Debian servers.
What is wrong with debuginfod.debian.net as explained in that wiki page referenced above? It's paid with Debian funds and run by a DD. Or are you implying that it should be run by DSA? In that case, what would be the reasoning behind that?
-Jonathan
