HttpsUrlAvailable: version 2.0.0: HOMEPAGE: HTTPS url available: http://fmv.jku.at/cadical/ -> https://fmv.jku.at/cadical/