# Small tools for managing the machine itself.
#
# Flatseal edits flatpak permissions, Gear Lever manages AppImages, and
# Extension Manager is for the GNOME session -- which Panama no longer installs,
# so it is here to be chosen rather than in any core list.
flatpak:com.github.tchx84.Flatseal | Flatseal
flatpak:it.mijorus.gearlever | Gear Lever
flatpak:com.mattjakeman.ExtensionManager | Extension Manager
flatpak:org.localsend.localsend_app | LocalSend
flatpak:org.torproject.torbrowser-launcher | Tor Browser
flatpak:org.getmonero.Monero | Monero