Binary package “cafeobj-mode” in ubuntu bionic

Emacs major mode for editing CafeOBJ source code

 cafeobj-mode provides syntax highlighting and indentation for CafeOBJ
 source code inside emacs. Included is the ability to interact with a
 CafeOBJ interpreter inside emacs and to send expressions from CafeOBJ
 source files to the running interpreter.