Auxiliary repository to store emacs packages required by Lean Emacs mode - View it on GitHub