From 4fc231a73005b7ed304ecc0818ca7ef0f8590394 Mon Sep 17 00:00:00 2001 From: nixo Date: Sun, 10 May 2020 10:15:09 +0200 Subject: gnu: julia: Fix patch URL. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/julia.scm (julia-patch-url): Add ".patch". Signed-off-by: Ludovic Courtès --- gnu/packages/julia.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/julia.scm') diff --git a/gnu/packages/julia.scm b/gnu/packages/julia.scm index 16a4705a07..375f933da7 100644 --- a/gnu/packages/julia.scm +++ b/gnu/packages/julia.scm @@ -100,7 +100,7 @@ (define (julia-patch-url version name) (string-append "https://raw.githubusercontent.com/JuliaLang/julia/v" version - "/deps/patches/" name)) + "/deps/patches/" name ".patch")) (define (julia-patch name sha) (let ((version "1.3.1")) -- cgit 1.4.1