To get up to date files, clone the 'formal-meta-coq' git respository, which is linked from this page.