Re: Where is the best place to download texlive-20170524-extra.tar.xz ?

2018-11-03 Thread Brian Woodcox
Thanks Mark. That makes sense. So I will just use the --no-check-certificate flag since the hash is used for verification in the end anyway. This is really a nice feature being able to download packages from untrusted sites. > On Nov 3, 2018, at 12:19 AM, Mark H Weaver wrote: > > Hi Brian,

Re: Where is the best place to download texlive-20170524-extra.tar.xz ?

2018-11-03 Thread Mark H Weaver
Hi Brian, When looking for a file that Guix is trying to download but which is no longer available at the expected URL, I normally just do a web search for the file name, in this case "texlive-20170524-extra.tar.xz". Any site will do. It needn't be a site you trust, because Guix always checks

Re: Where is the best place to download texlive-20170524-extra.tar.xz ?

2018-11-02 Thread Brian Woodcox
Sorry, that should have read “While installing GuixSD 0.15.0”. The auto correct messed it up. > On Nov 2, 2018, at 11:19 PM, Brian Woodcox wrote: > > While installing guilds 0.15.0 I am getting an download failures for this > package. > > I am using the system init

Where is the best place to download texlive-20170524-extra.tar.xz ?

2018-11-02 Thread Brian Woodcox
While installing guilds 0.15.0 I am getting an download failures for this package. I am using the system init —substitute-urls=“http://berlin.guixsd.org” /mnt/etc/config.scm /mnt command, but I get an error saying that it tried to download the tarball from: