gentoo.mahdi.cz

  

app-emacs:metamath-mode


Major GNU Emacs mode for metamath files
https://github.com/samrushing/metamath-mode/

metamath-mode-0_p20221005MIT
download~amd64 ~x86gentoo