version=4

opts="filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%@PACKAGE@-$1.tar.gz%" \
   https://github.com/SRI-CSL/Maude/tags (?:.*?/)?Maude(\d[\d.]*)\.tar\.gz
