Builds for prooftree

Latest: 0.13-2