Gentoo Portage Overlays - app-emacs/fstar-mode

Newest News Repository news GLSAs Browse USE Flags Overlays More...

app-emacs/fstar-mode

Support for F* programming

Screenshots

https://github.com/FStarLang/fstar-mode.el

fstar-mode-20240312.1632

~amd64 ~x86

View

Download

Browse License:

Overlay: melpa

fstar-mode-0.9.4.0

~amd64 ~x86

View

Download

Browse License:

Overlay: melpa-stable

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.