diff options
| author | Jakub Arnold | 2014-12-22 21:01:00 +0100 |
|---|---|---|
| committer | Misty De Meo | 2014-12-23 10:54:13 -0800 |
| commit | 1cdb909cb6d88f75c59bffb983bad438980446c0 (patch) | |
| tree | 48c1148f9991f2ab0af326c19603ffab32b3eb04 | |
| parent | d16b912af096b3e143577fc2e93e2be2b9f278e2 (diff) | |
| download | homebrew-1cdb909cb6d88f75c59bffb983bad438980446c0.tar.bz2 | |
ltl2ba 1.2b1
Closes #35196.
Signed-off-by: Misty De Meo <mistydemeo@gmail.com>
| -rw-r--r-- | Library/Formula/ltl2ba.rb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Library/Formula/ltl2ba.rb b/Library/Formula/ltl2ba.rb new file mode 100644 index 000000000..f11a5e16e --- /dev/null +++ b/Library/Formula/ltl2ba.rb @@ -0,0 +1,12 @@ +require "formula" + +class Ltl2ba < Formula + homepage "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/" + url "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz" + sha1 "74cff4914203753544bf300e041f433dbaeb3289" + + def install + system "make" + bin.install "ltl2ba" + end +end |