Builds for coqeal

Latest: 2.0.2-2