Homebrew/homebrew — pull request #35196 by darthdeus (2014-12-22 20:03:44+00:00)
Title: Add formula for ltl2ba

Adds formula for `ltl2ba`. This is a dependency for Frama-C, but can also be used separately.

I've based the PR off #8215 but updated to use the newer homebrew APIs. This is also my first Homebrew PR, so it's possible that I've missed something :panda_face: