aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2017-12-16 08:55:21 +0100
committerRicardo Wurmus <rekado@elephly.net>2017-12-16 09:01:57 +0100
commit341bddb31542d03bef35b1234e6e9466be337798 (patch)
treeee7c22e5ba62f226f137b46bb214aa24dc13a7fc /gnu
parentfe049d2180cb7cd1ca2418f301059040c302319d (diff)
downloadpatches-341bddb31542d03bef35b1234e6e9466be337798.tar
patches-341bddb31542d03bef35b1234e6e9466be337798.tar.gz
gnu: axoloti-runtime: Update ChibiOS URL.
* gnu/packages/axoloti.scm (axoloti-runtime)[inputs]: Update URL for ChibiOS sources.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/axoloti.scm2
1 files changed, 1 insertions, 1 deletions
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"))))