From 341bddb31542d03bef35b1234e6e9466be337798 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
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 @@
      `(("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"))))
-- 
2.20.1