Debian now has a debuginfod server available for its users. Please keep reading this page if you would like to know how to configure your system to use debuginfod. TL;DR: How do I configure my system to use debuginfod? As of version TBD, libdebuginfod (part of the elfutils package) will automatically install a file named /etc/profile.d/debuginfod.sh which contains the proper configuration to make