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

(package! fstar-mode :pin "537c31983fb690699ffbaa8b7eb68a98f1506a06")