Gentoo Packages

Package: app-emacs/fstar-mode

This package is available in the following overlays:

Overlay Versions Available
melpa
  • 20250402.820
melpa-stable
  • 0.9.4.0