Builds for coq-hierarchy-builder

Latest: 1.7.0-1