diff options
| author | Ricardo Wurmus | 2017-12-16 08:55:21 +0100 |
|---|---|---|
| committer | Ricardo Wurmus | 2017-12-16 09:01:57 +0100 |
| commit | 341bddb31542d03bef35b1234e6e9466be337798 (patch) | |
| tree | ee7c22e5ba62f226f137b46bb214aa24dc13a7fc /gnu/packages/debug.scm | |
| parent | fe049d2180cb7cd1ca2418f301059040c302319d (diff) | |
gnu: axoloti-runtime: Update ChibiOS URL.
* gnu/packages/axoloti.scm (axoloti-runtime)[inputs]: Update URL for ChibiOS
sources.
Diffstat (limited to 'gnu/packages/debug.scm')
0 files changed, 0 insertions, 0 deletions