#22304 Build for Julia is not reproducible

Received: (at 22304) by debbugs.gnu.org; 27 Jun 2021 10:40:22 +0000
From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 27 06:40:22 2021
Received: from localhost ([127.0.0.1]:48976 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1lxSD8-0008NZ-Gn
	for submit@debbugs.gnu.org; Sun, 27 Jun 2021 06:40:22 -0400
Received: from eggs.gnu.org ([209.51.188.92]:54064)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@gnu.org>) id 1lxSD5-0008NL-U6
 for 22304@debbugs.gnu.org; Sun, 27 Jun 2021 06:40:20 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:60978)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <ludo@gnu.org>) id 1lxSD0-0000JS-MU
 for 22304@debbugs.gnu.org; Sun, 27 Jun 2021 06:40:14 -0400
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=42498 helo=ribbon)
 by fencepost.gnu.org with esmtpsa
 (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1)
 (envelope-from <ludo@gnu.org>) id 1lxSD0-0006ro-Ei
 for 22304@debbugs.gnu.org; Sun, 27 Jun 2021 06:40:14 -0400
From: Ludovic Courtès <ludo@gnu.org>
To: 22304@debbugs.gnu.org
Subject: Re: bug#22304: Build for Julia is not reproducible
References: <idj1t9xia11.fsf@bimsb-sys02.mdc-berlin.net>
 <CAJ3okZ3i90aWjZgZmvZSNad6XbWoRqBsk6KQnxZXaWO8Tq53eQ@mail.gmail.com>
Date: Sun, 27 Jun 2021 12:40:13 +0200
In-Reply-To: <CAJ3okZ3i90aWjZgZmvZSNad6XbWoRqBsk6KQnxZXaWO8Tq53eQ@mail.gmail.com>
 (zimoun's message of "Thu, 28 Nov 2019 18:14:00 +0100")
Message-ID: <87bl7r1tgy.fsf_-_@gnu.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 22304
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -3.3 (---)