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

(package! fstar-mode :pin "5670fc025c96d0495a5a0a57b453ef68962f2b2b")