Builds for coq

Latest: 8.12.0-3