mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

Update ltl3ba to 1.1.2 #12

Closed lsvx closed 8 years ago

lsvx commented 8 years ago

This commit updates the version of ltl3ba. 1.0.2 did not compile on my machine, but 1.1.2 does work. Additionally, this commit updates the sha checksum to the sha256 algorithm, which is preferred by Homebrew now.