diff options
| author | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2018-06-01 21:00:35 +0000 |
|---|---|---|
| committer | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2018-06-01 21:00:35 +0000 |
| commit | eae65937329dde73190e4b89b725a92bcd6dc073 (patch) | |
| tree | e406debfaef4c25761d838fb45b9bb60f6cff4d7 /community | |
| parent | 632b8f9be61d4e819a24a5b2c2e6b699069fd027 (diff) | |
| download | aports-eae65937329dde73190e4b89b725a92bcd6dc073.tar.bz2 aports-eae65937329dde73190e4b89b725a92bcd6dc073.tar.xz | |
testing/z3: disable on aarch64
test suite also segfaults on aarch64
Diffstat (limited to 'community')
0 files changed, 0 insertions, 0 deletions