This version of KeY-C is the same as the last one on the prcs branch which had an additional checkin after the move to git.
This version has been published as KeY-Hoare-0.1.5. The only change was a fix to for proof loading.
This version has been released as KeY-Hoare-0.1.4
This version has been released as KeY-Hoare 0.1.3
This is the version released as KeY-1.2.0