Hi - > In general it's problematic that the filename of the cached file is > lost / not available in the debuginfod cache. [...]
It actually is presented in http headers and kept by the clients: debuginfod_get_headers() returns it; debuginfod-find -v prints it. - FChE
