Builds for coq-hierarchy-builder

Latest: 1.8.0-1