app-emacs/cubicle-mode
Major mode for the Cubicle model checker
-
cubicle-mode-1.2.0~amd64 ~x86
View Download Browse License:Overlay: melpa-stable
Runtime Dependencies
cubicle-mode-20221031.2122
>=app-editors/emacs-25.3:*
cubicle-mode-1.2.0
>=app-editors/emacs-25.3:*