Commit 8d305c60 authored by Andreas Tille's avatar Andreas Tille
Browse files

Try again with watch file but failed

parent 004931ef

debian/watch

+3 −3
Original line number Diff line number Diff line 
#version=3

version=4



http://maude.cs.illinois.edu/w/index.php?title=Maude_download_and_installation */Maude-(\d[.\d]+)\.tar\.gz

# Seems we can not replace the '?' by "%3F" successfully :-(

#http://maude.cs.illinois.edu/w/index.php%3Ftitle=Maude_download_and_installation */Maude-(\d[.\d]+)\.tar\.gz
 
# old url does not work

#http://maude.cs.uiuc.edu/download/current/ Maude-(.+)\.tar\.gz