Builds for coq-hierarchy-builder

Latest: 1.8.1-1