;; -*- no-byte-compile: t; -*-
;;; lang/fstar/packages.el

(package! fstar-mode :pin "6e5d3ea858f3c8a9d01161d9089909c2b22fdfca")