jed is in the mainline ubuntu repos I can do apt install jed jed is in the arch aur I can do yay -S aur/jed is jed in any of the flatpak remotes? _______________________________________________ For list information, visit <http://jedsoft.org/jed/mailinglists.html>.