Builds for coq-equations

Latest: 1.3-8.19-2