HttpsUrlAvailable: version 0.4.2: SRC_URI: HTTPS url available: http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-0.4.2.tgz -> https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-gmp-0.4.2.tgz
  RedirectedUrl: version 0.4.2: SRC_URI: permanently redirected: http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-0.4.2.tgz -> http://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-gmp-0.4.2.tgz