HttpsUrlAvailable: version 965: HOMEPAGE: HTTPS url available: http://fmv.jku.at/picosat/ -> https://fmv.jku.at/picosat/
  HttpsUrlAvailable: version 965: SRC_URI: HTTPS url available: http://fmv.jku.at/picosat/picosat-965.tar.gz -> https://fmv.jku.at/picosat/picosat-965.tar.gz