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

(package! fstar-mode :pin "7d353de89248f1df6edd1f5672ab4d39f5d1353d")