DeadUrl: version 3.3-r4: SRC_URI: 404 Client Error: Not Found for url: https://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz: http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz
  HttpsUrlAvailable: version 3.3-r4: HOMEPAGE: HTTPS url available: http://www.cs.unm.edu/~mccune/otter/ -> https://www.cs.unm.edu/~mccune/otter/