Update hash for coq containers