Homebrew/homebrew — pull request #26702 by Calvin-L (2014-02-13 20:40:54+00:00)
Title: Add Compcert 2.1 (new formula)

[Compcert](http://compcert.inria.fr) is a formally verified compiler for C.