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

(package! fstar-mode :pin "3bbfe93abd077103e9e4417d076d4f4d21e9acab")