Builds for coq-gappa

Latest: 1.7.0-1