gnu: axoloti-runtime: Update ChibiOS URL.

* gnu/packages/axoloti.scm (axoloti-runtime)[inputs]: Update URL for ChibiOS
sources.
master
Ricardo Wurmus 2017-12-16 08:55:21 +01:00
parent fe049d2180
commit 341bddb315
No known key found for this signature in database
GPG Key ID: 197A5888235FACAC
1 changed files with 1 additions and 1 deletions

View File

@ -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"))))