B. Watson f34f3ac21b academic/z3: Updated for version 4.8.12. | %!s(int64=2) %!d(string=hai) anos | |
---|---|---|
.. | ||
README | f34f3ac21b academic/z3: Updated for version 4.8.12. | %!s(int64=2) %!d(string=hai) anos |
slack-desc | 7871dab6cd academic/z3: Updated for version 4.8.7. | %!s(int64=4) %!d(string=hai) anos |
z3.SlackBuild | f34f3ac21b academic/z3: Updated for version 4.8.12. | %!s(int64=2) %!d(string=hai) anos |
z3.info | f34f3ac21b academic/z3: Updated for version 4.8.12. | %!s(int64=2) %!d(string=hai) anos |