I'll admit first off I know little about emacs. With that out of the way, it seems that while the dash emacs package is required by fstar-mode.el it doesn't get installed. I fixed that by activating the emacs layer. You can add a layers.el file to this repo with just the line
(configuration-layer/declare-layers '(yaml))
and that should fix this. However, I don't know if this is the write way, or the fact it wasn't installed indicates a problem upstream. If this is the right way, or if the problem is upstream, but this would make a good temporary workaround, I'd be happy to make the tiny PR.
I'll admit first off I know little about emacs. With that out of the way, it seems that while the
dashemacs package is required byfstar-mode.elit doesn't get installed. I fixed that by activating the emacs layer. You can add alayers.elfile to this repo with just the lineand that should fix this. However, I don't know if this is the write way, or the fact it wasn't installed indicates a problem upstream. If this is the right way, or if the problem is upstream, but this would make a good temporary workaround, I'd be happy to make the tiny PR.