gentoo.mahdi.cz

  

app-emacs:vdm-mode


Major mode for the Vienna Development Method
https://github.com/peterwvj/vdm-mode

vdm-mode-20190328.1408
download~amd64 ~x86melpa
vdm-mode-0.0.4
download~amd64 ~x86melpa-stable