diff options
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 |