On Fri, 10 Apr 2020 15:26:32 +0200
Danny Milosavljevic <dannym@scratchpost.org> wrote:

> What happens to https?  Will it go via the HTTP proxy?  Maybe mention that
> there, too.

In https://lists.gnu.org/archive/html/guix-devel/2020-04/msg00084.html
there's only http_proxy honored.

According to ./guix/build/download.scm:
                   ;; For HTTPS URIs, honor 'https_proxy', not 'http_proxy'.

Hmmm...