diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2017-12-16 08:55:21 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2017-12-16 09:01:57 +0100 |
commit | 341bddb31542d03bef35b1234e6e9466be337798 (patch) | |
tree | ee7c22e5ba62f226f137b46bb214aa24dc13a7fc /gnu | |
parent | fe049d2180cb7cd1ca2418f301059040c302319d (diff) | |
download | patches-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.scm | 2 |
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")))) |