| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing/z3: upgrade to 4.7.1 | Sören Tempel | 2018-06-04 | 1 | -3/+3 |
| * | testing/z3: disable on aarch64 | Roberto Oliveira | 2018-06-01 | 1 | -1/+1 |
| * | testing/z3: disable on ppc64le | Natanael Copa | 2018-06-01 | 1 | -1/+1 |
| * | testing/z3: disable on s390x | Natanael Copa | 2018-06-01 | 1 | -1/+1 |
| * | testing/z3: claim maintainership | Sören Tempel | 2018-05-30 | 1 | -2/+2 |
| * | testing/z3: add check | Sören Tempel | 2018-05-30 | 1 | -0/+8 |
| * | testing/z3: add python3 bindings | Sören Tempel | 2018-05-30 | 1 | -3/+15 |
| * | testing/z3: switch to the CMake buildsystem | Sören Tempel | 2018-05-30 | 1 | -9/+12 |
| * | testing/z3: new aport | Sören Tempel | 2018-05-30 | 1 | -0/+33 |
 |
index : kunkku/aports | |
| kunkku's aports repo | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |