Proof package version for running on T2