The old URL disappeared, but this new location appears to work (when I tested it on my personal GitHub repo's CI). I'm not sure how relevant the old comment about musl is -- I didn't investigate deeply. To cover all the bases, I tweaked the comment slightly to just indicate that we're not using the default Ubuntu UPX. I'm guessing the Debian package is just built differently from the Ubuntu equivalent, but, again, didn't investigate too deeply.
The old URL disappeared, but this new location appears to work (when I tested it on my personal GitHub repo's CI). I'm not sure how relevant the old comment about musl is -- I didn't investigate deeply. To cover all the bases, I tweaked the comment slightly to just indicate that we're not using the default Ubuntu UPX. I'm guessing the Debian package is just built differently from the Ubuntu equivalent, but, again, didn't investigate too deeply.