diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-11-05 22:02:42 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-11-05 22:02:42 +0100 |
| commit | 8fea8ba8524b036c4836d83dd1c58456aad4432d (patch) | |
| tree | 5f35957504df3020d64ba34ef542808d25931f73 /profiles/devel/packages | |
| parent | 397ad8c651e102f14bb3b139e89932c9ec5e4674 (diff) | |
| download | gentoo-personal-overlay-8fea8ba8524b036c4836d83dd1c58456aad4432d.tar.gz gentoo-personal-overlay-8fea8ba8524b036c4836d83dd1c58456aad4432d.tar.bz2 gentoo-personal-overlay-8fea8ba8524b036c4836d83dd1c58456aad4432d.zip | |
Add openocd
Diffstat (limited to 'profiles/devel/packages')
| -rw-r--r-- | profiles/devel/packages | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages index 462a3bb..6a24370 100644 --- a/profiles/devel/packages +++ b/profiles/devel/packages @@ -51,3 +51,6 @@ dev-util/android-tools # Gtk dev-python/pygobject dev-util/glade + +# ARM bare +dev-embedded/openocd |