Fix 'opam-mk-repo --index'
Update CHANGES