Builds for dh-coq

Latest: 0.13