chiark / gitweb /
checkupdates --gplay: inform if not bigger but different version