GNU bug report logs - #31346
[PATCH] gnu: gnuzilla: Add mozjs-52.

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Roel Janssen <roel <at> gnu.org>
Cc: 31346 <at> debbugs.gnu.org
Subject: [bug#31346] [PATCH] gnu: gnuzilla: Add mozjs-52.
Date: Mon, 07 May 2018 10:13:38 +0200

Hello,

Roel Janssen <roel <at> gnu.org> skribis:

> Ludovic Courtès <ludo <at> gnu.org> writes:

[...]

>>> +    (source (origin
>>> +              (method url-fetch)
>>> +              (uri (string-append
>>> +                    "https://queue.taskcluster.net/v1/task/"
>>> +                    "YqG2fjJJSTGzGX090FjDYg/runs/0/artifacts/"
>>> +                    "public/build/mozjs-" version ".tar.bz2"))
>>
>> Could we use ftp.mozilla.org instead?
>
> So I thought, but it doesn't seem to be available there:
> http://ftp.mozilla.org/pub/spidermonkey/releases/
>
> The latest release there is version 45.  In the pre-releases there's
> version 59.
>
> Maybe I can add comment in the form:
>
> ;; The release notes at https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/Releases/52
> ;; states: “You can download full source code from treeherder, by going
> ;; to the mozilla-esr52 repository and clicking on the first SM(pkg)
> ;; link you see.  The download link below is the result of that.
>
> Would that be sufficient?

Yes, sure.  Kinda weird they don’t use their own infrastructure.

Thank you,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.