gringo version history (formula)
gringo
formula removed 7 versions
since Mar 2014
~68 days between updates
| Version | Updated | Commit |
|---|---|---|
| 4.5.4-source | 2016-08-10 | 62dc9494d |
| 4.5.3-source | 2015-11-26 | de4e6c0d8 |
| 4.5.2-source | 2015-08-11 | 390394809 |
| 4.5.1-source | 2015-07-28 | 457ab26ff |
| 4.5.0-source | 2015-06-29 | fa9e3ed6c |
| 4.5.0 | 2015-06-27 | d1abbaec8 |
| 4.3.0 | 2014-03-23 | 0799697b4 |