Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
app-emacs
/z3-mode
A z3/SMTLIBv2 interactive development environment
Screenshots
https://github.com/zv/z3-mode
z3-mode-20211116.138
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
z3-mode-20211116.138
app-emacs/flycheck
>=
app-editors/emacs
-25.3:*