On Sun, Jan 24, 2016 at 10:07 PM, Michael McConville <mm...@mykolab.com> wrote: > Yozo TODA wrote: >> hi, here is an update for coq from 8.4pl6 to 8.5. >> I'm working on amd64. >> anyone please verify this, and commit to the tree? >
Please don't commit this until I have time to verify with compcert.
