diff options
| author | Malte Frank Gerdes <malte.f.gerdes@gmail.com> | 2020-10-10 15:31:14 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-22 17:10:25 +0200 |
| commit | cad55e91fd5a481279e6286a2728761b8da7c07a (patch) | |
| tree | 11ba19040d5b5747390ff7f08827c4104943cd0b /graph.js | |
| parent | 2eacb95ad50ff75ed303207aa4141906175df5ce (diff) | |
| download | guix-cad55e91fd5a481279e6286a2728761b8da7c07a.tar guix-cad55e91fd5a481279e6286a2728761b8da7c07a.tar.gz | |
gnu: openocd: Update to 9a877a83a1c8b1f105cdc0de46c5cbc4d9e8799e.
* gnu/packages/embedded.scm (openocd): Update to 9a877a83a1c8b1f105cdc0de46c5cbc4d9e8799e.
[version]: Substitute release with current master.
[source]: Remove openocd-nrf52.patch
[arguments]: Replace bootstrap build phase.
* gnu/local.mk: Remove openocd-nrf52.patch.
* gnu/packages/patches/openocd-nrf52.patch: Remove file.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions