diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-01 17:01:22 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-01 17:01:22 +0000 |
| commit | c03c5ba246565fcb3b16630051c6235f06c4bef8 (patch) | |
| tree | b153969639b1886a3b0529bc753fdb8e734590e8 /Util | |
| parent | fe8de9444fb6ce90216a9b8268d8a13daa9a9f2a (diff) | |
Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently
maintaining on the OpenSUSE build service.
See
https://build.opensuse.org/package/show/home:delcypher:z3/z3
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions