maude 3.3.1 -> 3.4 https://github.com/SRI-CSL/Maude/releases
attrpath: maude
Checking auto update branch...
An auto update branch exists with message `maude: 3.3.1 -> 3.4`. New version is 3.4.
An auto update branch exists with an equal or greater version