Gentoo Portage Overlays - app-emacs/cubicle-mode

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

cubicle-mode-1.2.0

~amd64 ~x86

View

Download

Browse License:

Overlay: melpa-stable

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.