Builds for coq-hammer

Latest: 1.3.2+8.20-1