>>>>> On Tue, 29 Oct 2019, Ulrich Mueller wrote:

>>>>> On Tue, 29 Oct 2019, Michał Górny wrote:
>> The file should be placed in SRC_URI, and emirrordist will take care
>> of fetching it.

> What if the file is hosted at a non-standard tcp port upstream (like
> http://example.org:8080/)? The devmanual says that it _must_ be manually
> uploaded to /space/distfiles-local/ in such cases.

Or another example, app-emacs/vhdl-mode-3.38.1, where (incompetent,
or nasty?) upstream blocks wget for some reason, but other methods
(e.g., curl, firefox) work? How would I get the file onto the mirrors
there?

Ulrich