Specifically, the 4.13.0-25 dbgsym package is available from here:
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
[Ubuntu18.04] linux-image-4.13.0-25-generic-dbgsym is not available in
repo which is required for crash analysis of vmcore
To manage notifications about this bug go to:
ubuntu-bugs mailing list