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

(package! fstar-mode :pin "36ffb46259a7bb67e5bfac977aae57d52a4915de")