parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.
http://parapluu.github.io/Concuerror
BSD 2-Clause "Simplified" License
333 stars 41 forks source link

Tagging a release #108

Closed lessless closed 7 years ago

lessless commented 8 years ago

Hello, folks!

It will be cool to be able to install Concuerror via Brew on OSX and as that requires maintaining tags with each consequent release I'm asking to do such a favor. Please support easiness of distribution :)

aronisstav commented 8 years ago

Hi and thanks for the feedback!

I have pushed a number of recent tags. Is this what Brew needs?