Homebrew/homebrew — pull request #33097 by Calvin-L (2014-10-11 06:46:55+00:00)
Title: Updated Compcert to version 2.4

What it says on the tin.