Builds for coq-record-update

Latest: 0.3.4-4