Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | community/z3: upgrade to 4.8.8z3-upgrade | Sören Tempel | 2020-05-09 | 1 | -24/+0 |
* | community/z3: attempt to fix build on some architectures | Sören Tempel | 2019-11-23 | 1 | -0/+24 |
index : aports | ||
Main aports tree | gitolite |
aboutsummaryrefslogtreecommitdiffstats |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | community/z3: upgrade to 4.8.8z3-upgrade | Sören Tempel | 2020-05-09 | 1 | -24/+0 |
* | community/z3: attempt to fix build on some architectures | Sören Tempel | 2019-11-23 | 1 | -0/+24 |