gentoo.mahdi.cz

  

app-emacs:cubicle-mode


Major mode for the Cubicle model checker
https://melpa.org/packages/

cubicle-mode-20221031.2122
download~amd64 ~x86melpa
cubicle-mode-1.2.0
download~amd64 ~x86melpa-stable