HttpsUrlAvailable: version 20160804-r1: HOMEPAGE: HTTPS url available: http://mmix.cs.hm.edu -> https://mmix.cs.hm.edu
  HttpsUrlAvailable: version 20160804-r1: SRC_URI: HTTPS url available: http://mmix.cs.hm.edu/src/mmix-20160804.tgz -> https://mmix.cs.hm.edu/src/mmix-20160804.tgz