Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
app-emacs
/cubicle-mode
Major mode for the Cubicle model checker
Screenshots
https://github.com/cubicle-model-checker/cubicle
cubicle-mode-20221031.2122
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs