gentoo.mahdi.cz
app-emacs
:fstar-mode
Support for F* programming
https://github.com/FStarLang/fstar-mode.el
fstar-mode-20240312.1632
download
~amd64 ~x86
melpa
fstar-mode-0.9.4.0
download
~amd64 ~x86
melpa-stable