mxcl/homebrew — pull request #8215 by ismaelvb (2011-10-21 03:51:22+00:00)
Title: New Formula: Frama-C 

Created a formula for frama-c (maybe need changes to allow compile without GUI)
updated dependency gtk-gnutella (previously broken)
created dependencies libgnomecanvas & ltl2ba