#+TITLE: Debuginfod service -- Debian
#+AUTHOR: Sergio Durigan Junior
#+OPTIONS: toc:nil num:nil html-style:nil author:nil html-postamble:nil

#+ATTR_HTML: :align center
[[file:debian-logo.jpg]]

This is the [[https://sourceware.org/elfutils/Debuginfod.html][debuginfod]] service for Debian.  For more information about
it, please refer to https://wiki.debian.org/Debuginfod.

If the Debian distribution you are using is supported (check in the
link above) and you want to use it, the following environment variable
must be set in your shell:

#+begin_src shell
DEBUGINFOD_URLS="https://debuginfod.debian.net"
#+end_src

Enjoy!