Add last lot numbers for coq and generated coq