From 341bddb31542d03bef35b1234e6e9466be337798 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sat, 16 Dec 2017 08:55:21 +0100 Subject: [PATCH] gnu: axoloti-runtime: Update ChibiOS URL. * gnu/packages/axoloti.scm (axoloti-runtime)[inputs]: Update URL for ChibiOS sources. --- gnu/packages/axoloti.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/axoloti.scm b/gnu/packages/axoloti.scm index 8ce4a63131..4963bb33cf 100644 --- a/gnu/packages/axoloti.scm +++ b/gnu/packages/axoloti.scm @@ -189,7 +189,7 @@ (define-public axoloti-runtime `(("chibios" ,(origin (method url-fetch) - (uri "mirror://sourceforge/chibios/ChibiOS_RT%20stable/Version%202.6.9/ChibiOS_2.6.9.zip") + (uri "mirror://sourceforge/chibios/ChibiOS%20GPL3/Version%202.6.9/ChibiOS_2.6.9.zip") (sha256 (base32 "0lb5s8pkj80mqhsy47mmq0lqk34s2a2m3xagzihalvabwd0frhlj"))))