cubicle-mode

Major mode for the Cubicle model checker

Available in

Overlay	Newest	Ebuilds	Last activity
melpa GitHub ↗	20221031.2122	1	23 h	details ›
melpa-stable GitHub ↗	1.2.0	1	23 h	details ›

Version	Overlay	amd64	x86	Committed
20221031.2122	melpa	amd64 testing	x86 testing	22 mo	view · download · history ↗
1.2.0	melpa-stable	amd64 testing	x86 testing	22 mo	view · download · history ↗

show 1 lines

>=app-editors/emacs-26.3:*