DeadUrl: version 3.1-r1: HOMEPAGE: 404 Client Error: Not Found for url: https://maude.cs.uiuc.edu/
  DeadUrl: version 3.1-r1: SRC_URI: 404 Client Error: Not Found for url: https://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip
  DeadUrl: version 3.1-r1: SRC_URI: 404 Client Error: Not Found for url: https://maude.cs.illinois.edu/w/images/4/4f/Maude-3.1-manual-book-examples.zip
  DeadUrl: version 3.1-r1: SRC_URI: 404 Client Error: Not Found for url: https://maude.cs.illinois.edu/w/images/6/62/Maude-3.1-manual.pdf
  DeadUrl: version 3.1-r1: SRC_URI: 404 Client Error: Not Found for url: https://maude.cs.illinois.edu/w/images/d/d3/Maude-3.1.tar.gz