DeadUrl: version 4.2-r1: SRC_URI: 404 Client Error: Not Found for url: https://www.cs.upc.edu/~jordicf/petrify/distrib/petrify-4.2-linux.tgz: http://www.lsi.upc.edu/~jordicf/petrify/distrib/petrify-4.2-linux.tgz
  HttpsUrlAvailable: version 4.2-r1: HOMEPAGE: HTTPS url available: http://www.lsi.upc.edu/~jordicf/petrify/ -> https://www.cs.upc.edu/~jordicf/petrify/