Package: maude-mode
Fetcher: github
Source:  https://github.com/rudi/maude-mode.git

Cannot determine version for maude-mode
 ✗ Cannot determine version!
Fetched maude-mode in 0.044s, finished at 2024-05-04T10:37:54+0000