HttpsUrlAvailable: version 0.40-r1: HOMEPAGE: HTTPS url available: http://www.clifford.at/yosys/ -> https://clifford.at/