From c091d81a3092ef9ff6a3e0b804172206467cf397 Mon Sep 17 00:00:00 2001 From: KeLiu Date: Mon, 13 Aug 2018 18:33:11 +0800 Subject: [PATCH] julia: URL fix (#2493) --- julia.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/julia.json b/julia.json index cb521b2f6e..d6375d0719 100644 --- a/julia.json +++ b/julia.json @@ -8,7 +8,7 @@ "hash": "3bf5572cbcbc7848b235dcf21caf24ce26b9fb3839eb13db1a7170d20cdf834d" }, "32bit": { - "url": "https://julialang-s3.julialang.org/bin/winnt/x64/1.0/julia-1.0.0-win32.exe.exe#/dl.7z", + "url": "https://julialang-s3.julialang.org/bin/winnt/x64/1.0/julia-1.0.0-win32.exe#/dl.7z", "hash": "df7b3685c1bef8acb694ae2e771a9b9744494140815a7b3a5a40a28954d724ff" } },