How To Install Legotags?
dnf install emacs-common-proofgeneralClick to copy
emacs-common-proofgeneralEmacs mode for standard
Install the latest version of legotags in Fedora from terminal. To install the legotags just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of legotags from the respository and install it in your computer/server.